Goto

Collaborating Authors

 erisig 2



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

Neural Information Processing Systems

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.