A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation.

Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li

Browse the full CAV paper archive.