| emsoft | participants

Banglong Liu

EMSOFT 2024: 24th International Conference on Embedded Software

Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance