← Search

Dapeng Zhi

2 accepted papers

2024

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

AAAI 2024technical

Deep Reinforcement Learning (DRL) has gained prominence as an effective approach for control systems. However, its practical deployment is impeded by state perturbations that can severely impact system performance. Addressing this critical challenge requires robustness verification about system perf…

Cited by 1SourcePDFScholar
2023

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

NeurIPS 2023poster

Formally verifying deep reinforcement learning (DRL) systems suffers from both inaccurate verification results and limited scalability. The major obstacle lies in the large overestimation introduced inherently during training and then transforming the inexplicable decision-making models, i.e., deep…

Cited by 2SourcePDFScholar