Xiaochao Tang

According to our database, Xiaochao Tang authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints.

Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng, Zhenbing Zeng

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers.

Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Improving Adversarial Robustness of Deep Neural Networks via Linear Programming.

Xiaochao Tang, Zhengfeng Yang, Xuanming Fu, Jianlin Wang, Zhenbing Zeng

Proceedings of the Theoretical Aspects of Software Engineering, 2022

2021

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021