| emsoft | participants

Xuandong Li

Program Committees:
2015, 2016, and 2017
.

EMSOFT 2018: 18th International Conference on Embedded Software

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming

Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, and Xuandong Li

EMSOFT 2017: 17th International Conference on Embedded Software

Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates

Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, and Xuandong Li