Synthesizing barrier certificates using neural networks H Zhao, X Zeng, T Chen, Z Liu Proceedings of the 23rd international conference on hybrid systems …, 2020 | 61 | 2020 |
Learning safe neural network controllers with barrier certificates H Zhao, X Zeng, T Chen, Z Liu, J Woodcock Formal Aspects of Computing 33, 437-455, 2021 | 40 | 2021 |
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems X Zeng, W Lin, Z Yang, X Chen, L Wang Proceedings of the 13th International Conference on Embedded Software, 1-10, 2016 | 22 | 2016 |
An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation Z Yang, Y Zhang, W Lin, X Zeng, X Tang, Z Zeng, Z Liu International Conference on Computer Aided Verification, 467-490, 2021 | 11 | 2021 |
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints Z Yang, L Zhang, X Zeng, X Tang, C Peng, Z Zeng International Conference on Computer Aided Verification, 304-325, 2023 | 3 | 2023 |
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning H Zhao, N Qi, L Dehbi, X Zeng, Z Yang ACM Transactions on Embedded Computing Systems 22 (5s), 1-21, 2023 | 2 | 2023 |
Safety verification of nonlinear systems with Bayesian neural network controllers X Zeng, Z Yang, L Zhang, X Tang, Z Zeng, Z Liu Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 15278 …, 2023 | 1 | 2023 |
An rnn-based framework for the milp problem in robustness verification of neural networks H Xue, X Zeng, W Lin, Z Yang, C Peng, Z Zeng Proceedings of the Asian Conference on Computer Vision, 1842-1857, 2022 | 1 | 2022 |
Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation X Zeng, W Lin, Z Yang, Z Zeng Science China. Information Sciences 60 (3), 39102, 2017 | 1 | 2017 |
Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning H Zhao, X Zeng, N Qi, Z Yang, Z Zeng 2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023 | | 2023 |
Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS. H Zhao, Q Li, X Zeng, Z Liu International Journal on Food System Dynamics 13 (4), 2022 | | 2022 |
Tackling sparse cost in safe reinforcement learning for obstacle avoidance Q Li, X Zeng, H Zhao International Conference on Electronic Information Technology (EIT 2022 …, 2022 | | 2022 |