Dapeng Zhi

According to our database, Dapeng Zhi authored at least 6 papers between 2022 and 2024.

Collaborative distances:

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

2024

Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems.

Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales.

Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks.

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Cheng Chen, Min Zhang

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems.

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang

CoRR, 2022

Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning.

Peng Jin, Jiaxu Tian, Dapeng Zhi, Xuejun Wen, Min Zhang

Proceedings of the Computer Aided Verification - 34th International Conference, 2022