Dapeng Zhi

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

Guy Katz, M. Zhang, Peixin Wang, 2022, International Conference on Verification, Model Checking and Abstract Interpretation.

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

M. Zhang, Jiaxu Tian, Dapeng Zhi, 2022, CAV.

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

Guy Katz, M. Zhang, Peixin Wang, 2022, 2211.11127.

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

Jiaxu Tian, Dapeng Zhi, Si Liu, 2023, NeurIPS.