Discussion on: ``Safety verification for probabilistic hybrid systems''
scientific article; zbMATH DE number 6248553