Dapeng Zhi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2022–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AAAI | Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales. | Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang |
| 2024 | CAV | Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. | Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang |
| 2024 | VMCAI | Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training. | Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang |
| 2022 | CAV | Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning. | Peng Jin, Jiaxu Tian, Dapeng Zhi, Xuejun Wen, Min Zhang |