acm sigbed
|
emsoft
|
participants
Banglong Liu
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
10.1109/TCAD.2024.3447226