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

In particular, DNN-specific overestimation is extremely unpredictable due to many factors such as the dimension of system states, the complexity of environment dynamics, and the size, weight, and activation function of a neural network.