| emsoft | participants

Niuniu Qi

EMSOFT 2023: 23rd International Conference on Embedded Software

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

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