Xiaochao Tang

According to our database, Xiaochao Tang authored at least 6 papers between 2021 and 2025.

Collaborative distances:

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

2025

An iterative scheme of hybrid controller synthesis for nonlinear systems subject to safety constraints.

Niuniu Qi, Xia Zeng, Banglong Liu, Zhengfeng Yang, Xiaochao Tang, Li Zhang, Chao Peng, Zhenbing Zeng

Inf. Comput., 2025

Safety-Constrained Dynamic Scheduling of Renewable Energy Using Value-at-Risk Metrics.

Xiaochao Tang, Qing Fu, Xianping Guo, Li Xia

Proceedings of the Energy Informatics - 5th Energy Informatics Academy Conference, 2025

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