Verification and control for probabilistic hybrid automata with finite bisimulations
scientific article; zbMATH DE number 7043263
scientific article