Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances
scientific article; zbMATH DE number 6022003
scientific article