Safety of stochastic systems: an analytic and computational approach
scientific article; zbMATH DE number 7453501
scientific article