| emsoft | participants

Haifeng Qian

EMSOFT 2024: 24th International Conference on Embedded Software

Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance

Hanrui Zhao, Banglong Liu, Lydia Dehbi, Huijiao Xie, Zhengfeng Yang, and Haifeng Qian