| emsoft | participants

Lilei Wang

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