Dapeng Zhi

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 8

Top Topics

Reinforcement Learning

Control Policies

Qualitative And Quantitative

Top Venues

Publications

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training. VMCAI (2) (2024)
Dapeng Zhi, Peixin Wang, Si Liu, Luke Ong, Min Zhang
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CoRR (2024)
Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CAV (2) (2024)
Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang
Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales. AAAI (2024)
Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Cheng Chen, Min Zhang
Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks. NeurIPS (2023)
Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang
Robustness Verification of Deep Reinforcement Learning Based Control Systems using Reward Martingales. CoRR (2023)
Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang
BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems. CoRR (2022)
Peng Jin, Jiaxu Tian, Dapeng Zhi, Xuejun Wen, Min Zhang
Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning. CAV (1) (2022)