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

Open in new window