Synthesizing barrier certificates using neural networks-Reference-Cited by-同舟云学术

Synthesizing barrier certificates using neural networks

Published:2020-04-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Zhao Hengjun¹,Zeng Xia¹,Chen Taolue²,Liu Zhiming¹

Affiliation:

1. Southwest University, Chongqing, China

2. University of London

Funder

National Natural Science Foundation of China

Birkbeck BEI School Project (ARTEFACT)

Guangdong Science and Technology Department grant

China's Fundamental Research Funds for the Central Universities

Capacity Development Grant of Southwest University

Basic Science and Frontier Technology Research Program of Chongqing

Publisher

ACM

Link

Reference48 articles.

Cited by 34 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

4. Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14

5. Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14