| Discovering multiple Lyapunov functions for switched hybrid systems Z She, B Xue SIAM Journal on Control and Optimization 52 (5), 3312-3340, 2014 | 58 | 2014 |
| Inner-approximating reachable sets for polynomial systems with time-varying uncertainties B Xue, M Fränzle, N Zhan IEEE Transactions on Automatic Control 65 (4), 1468-1483, 2019 | 57 | 2019 |
| Under-approximating backward reachable sets by polytopes B Xue, Z She, A Easwaran Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 57 | 2016 |
| Improving neural network verification through spurious region guided refinement P Yang, R Li, J Li, CC Huang, J Wang, J Sun, B Xue, L Zhang International Conference on Tools and Algorithms for the Construction and …, 2021 | 45 | 2021 |
| Discovering polynomial Lyapunov functions for continuous dynamical systems Z She, H Li, B Xue, Z Zheng, B Xia Journal of Symbolic Computation 58, 41-63, 2013 | 37 | 2013 |
| Reach-avoid verification for nonlinear systems based on boundary analysis B Xue, A Easwaran, NJ Cho, M Fränzle IEEE Transactions on Automatic Control 62 (7), 3518-3523, 2016 | 36 | 2016 |
| Prodeep: a platform for robustness verification of deep neural networks R Li, J Li, CC Huang, P Yang, X Huang, L Zhang, B Xue, H Hermanns Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 28 | 2020 |
| Safe over-and under-approximation of reachable sets for delay differential equations B Xue, PN Mosaad, M Fränzle, M Chen, Y Li, N Zhan Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017 | 28 | 2017 |
| Computing an invariance kernel with target by computing Lyapunov‐like functions Z She, B Xue IET Control Theory & Applications 7 (15), 1932-1940, 2013 | 28 | 2013 |
| Robust invariant sets generation for state-constrained perturbed polynomial systems B Xue, Q Wang, N Zhan, M Fränzle Proceedings of the 22nd ACM international conference on hybrid systems …, 2019 | 27 | 2019 |
| Consensus control for heterogeneous multivehicle systems: An iterative learning approach S Zhang, L Wang, H Wang, B Xue IEEE Transactions on Neural Networks and Learning Systems 32 (12), 5356-5368, 2021 | 23 | 2021 |
| Under-approximating reach sets for polynomial continuous systems B Xue, M Fränzle, N Zhan Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 22 | 2018 |
| PAC model checking of black-box continuous-time dynamical systems B Xue, M Zhang, A Easwaran, Q Li IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 20 | 2020 |
| Underapproximating backward reachable sets by semialgebraic sets B Xue, Z She, A Easwaran IEEE Transactions on Automatic Control 62 (10), 5185-5197, 2017 | 20 | 2017 |
| Reach-avoid analysis for stochastic discrete-time systems B Xue, R Li, N Zhan, M Fränzle 2021 American Control Conference (ACC), 4879-4885, 2021 | 19 | 2021 |
| Nonlinear Craig interpolant generation T Gan, B Xia, B Xue, N Zhan, L Dai International Conference on Computer Aided Verification, 415-438, 2020 | 18 | 2020 |
| Taming delays in dynamical systems: Unbounded verification of delay differential equations S Feng, M Chen, N Zhan, M Fränzle, B Xue International Conference on Computer Aided Verification, 650-669, 2019 | 18 | 2019 |
| Safe over-and under-approximation of reachable sets for autonomous dynamical systems M Li, PN Mosaad, M Fränzle, Z She, B Xue International Conference on Formal Modeling and Analysis of Timed Systems …, 2018 | 17 | 2018 |
| Synthesizing invariant barrier certificates via difference-of-convex programming Q Wang, M Chen, B Xue, N Zhan, JP Katoen International Conference on Computer Aided Verification, 443-466, 2021 | 16 | 2021 |
| Reach-avoid verification based on convex optimization B Xue, N Zhan, M Fränzle, J Wang, W Liu IEEE Transactions on Automatic Control 69 (1), 598-605, 2023 | 15 | 2023 |
Naijun ZhanSchool of Computer Science, Peking UniversityVerified email at ios.ac.cn
