Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning

Open Webpage

Hanrui Zhao, Niuniu Qi, Mengxin Ren, Xia Zeng, Zhenbing Zeng, Zhengfeng Yang

Published: 01 Jan 2024, Last Modified: 15 May 2025DAC 2024EveryoneRevisionsBibTeXCC BY-SA 4.0