| emsoft | participants

Xia Zeng

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

EMSOFT 2016: 16th International Conference on Embedded Software

Darboux-Type Barrier Certificates for Safety Verification of Nonlinear Hybrid Systems

Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, and Lilei Wang