Xia Zeng, Wang Lin, Zhengfeng Yang, Zhenbing Zeng. Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. Science in China Series F: Information Sciences, 60(3):39102, 2017. [doi]
No reviews for this publication, yet.