Measurability and safety verification for stochastic hybrid systems

Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang 0001. Measurability and safety verification for stochastic hybrid systems. In Marco Caccamo, Emilio Frazzoli, Radu Grosu, editors, Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011. pages 43-52, ACM, 2011. [doi]