NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation

Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala

We propose a new technique for performing state space exploration of closed loop control systems with neural network feedback controllers. Our approach involves approximating the s…