An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. - Zhengfeng Yang; Yidan Zhang; Wang Lin; Xia Zeng; Xiaochao Tang; Zhenbing Zeng; Zhiming Liu 001 (CAV (1), 2021)

Improving Adversarial Robustness of Deep Neural Networks via Linear Programming. - Xiaochao Tang; Zhengfeng Yang; Xuanming Fu; Jianlin Wang; Zhenbing Zeng (TASE, 2022)

Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. - Xia Zeng; Zhengfeng Yang; Li Zhang; Xiaochao Tang; Zhenbing Zeng; Zhiming Liu 001 (AAAI, 2023)

Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. - Zhengfeng Yang; Li Zhang; Xia Zeng; Xiaochao Tang; Chao Peng 004; Zhenbing Zeng (CAV (1), 2023)