Publications

[ZhangSRHH10] Zhang, L.; She, Z.; Ratschan, S.; Hermanns, H. and Hahn, E. M. Safety Verification for Probabilistic Hybrid Systems. In CAV, pages 196-211, Springer, LNCS 6174, 2010.

[FraenzleHHWZ11] Fränzle, M.; Hahn, E. M.; Hermanns, H.; Wolovick, N. and Zhang, L. Measurability and Safety Verification for Stochastic Hybrid Systems. In HSCC, pages 43-52, ACM Press, 2011.