Get started
Author

Dapeng Zhi

Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning
2022 · Peng Jin, Jiaxu Tian, et al. · Lecture notes in computer science · 37
PDF
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems
2024 · Dapeng Zhi, Peixin Wang, et al. · Lecture notes in computer science · 13
Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales
2024 · Dapeng Zhi, Peixin Wang, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 8
PDF
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
2023 · Jiaxu Tian, Dapeng Zhi, et al. · Lecture notes in computer science · 7
PDF
ATA: An Abstract-Train-Abstract approach for explanation-friendly deep reinforcement learning
2025 · Shi Peng, Si Liu, et al. · Neural Networks · 4
Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks
2023 · Jiaxu Tian, Dapeng Zhi, et al. · neural information processing systems · 3
Certificate-Guided Robust Training for Deep Reinforcement Learning via State Abstraction
2026 · Qixuan Cao, Dapeng Zhi, et al. · International Joint Conference on Neural Networks (IJCNN)
MaskCtrl: Training mask networks as self-explainable and performant controllers via deep reinforcement learning
2026 · Shi Peng, Si Liu, et al. · Neural Networks
Identifying Critical States via Action Consensus
2026 · Shi Peng, Si Liu, et al. · IEEE International Conference on Acoustics Speech and Signal Processing
Formal Verification of Neural Network-Controlled Systems via Proof Certificates
2026 · Dapeng Zhi, Peixin Wang, et al. · Lecture notes in computer science
Works count: 12
Citation count: 72
H-index: 4
I10-index: 2
Year
Topic
Type