Jiaxu Tian

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

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…