Risk Verification of Stochastic Systems with Neural Network Controllers

Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov +1

Motivated by the fragility of neural network (NN) controllers in safety-critical applications, we present a data-driven framework for verifying the risk of stochastic dynamical sys…