1: \begin{abstract}

2: We propose a new technique for performing state space exploration of closed loop control systems with neural network feedback controllers.

3: %

4: Our approach involves approximating the sensitivity of the trajectories of the closed loop dynamics.

5: %

6: Using such an approximator and the system simulator, we present a guided state space exploration method that can generate trajectories visiting the neighborhood of a target state at a specified time.

7: %

8: We present a theoretical framework which establishes that our method will produce a sequence of trajectories that will reach a suitable neighborhood of the target state. 

9: %

10: We provide thorough evaluation of our approach on various systems with neural network feedback controllers of different configurations.

11: %

12: We outperform earlier state space exploration techniques and achieve significant improvement in both the quality (explainability) and performance (convergence rate).

13: %

14: Finally, we adopt our algorithm for the falsification of a class of temporal logic specification, assess its performance against a state-of-the-art falsification tool, and show its potential in supplementing existing falsification algorithms.

15: \end{abstract}

16: