Risk verification of stochastic systems with neural network controllers
scientific article; zbMATH DE number 7613160