Safety Verification for Probabilistic Hybrid Systems
Zhang, Lijun, She, Zhikun, Ratschan, Stefan, Hermanns, Holger, Hahn, Ernst MoritzVolume:
18
Language:
english
Journal:
European Journal of Control
DOI:
10.3166/EJC.18.572-587
Date:
January, 2012
File:
PDF, 430 KB
english, 2012