Bai Xue

Bai Xue

Institute of Software, Chinese Academy of Sciences - Beijing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4599680
-
person_outline Bai Xue's MOST POPULAR ARTICLES
1-) Inner-approximating reachable sets for polynomial systems with time-varying uncertaintiesB Xue, M Fränzle, N ZhanIEEE Transactions on Automatic Control 65 (4), 1468-1483, 2019582019
2-) Discovering multiple Lyapunov functions for switched hybrid systemsZ She, B XueSIAM Journal on Control and Optimization 52 (5), 3312-3340, 2014582014
3-) Under-approximating backward reachable sets by polytopesB Xue, Z She, A EaswaranComputer Aided Verification: 28th International Conference, CAV 2016 …, 2016562016
4-) Improving neural network verification through spurious region guided refinementP Yang, R Li, J Li, CC Huang, J Wang, J Sun, B Xue, L ZhangInternational Conference on Tools and Algorithms for the Construction and …, 2021462021
5-) Discovering polynomial Lyapunov functions for continuous dynamical systemsZ She, H Li, B Xue, Z Zheng, B XiaJournal of Symbolic Computation 58, 41-63, 2013372013