| emsoft | participants

Yifan Zhang

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