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

Open in new window