Verifying Safety of High-Dimensional Neural Network Controllers through Statistical Approximation and Formal Reachability Analysis

This paper proposes a method to verify the safety of high-dimensional neural network controllers by approximating them with multiple low-dimensional controllers and combining formal reachability analysis with statistical inference to provide safety guarantees.