Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning

Open Webpage

Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang

Published: 31 Oct 2023, Last Modified: 29 Jan 2026ACM Transactions on Embedded Computing SystemsEveryoneRevisionsCC BY-SA 4.0
External IDs:doi:10.1145/3609125