Details for the publication FranzleHHWZ11.

Martin Fränzle, Ernst Moritz Hahn (), Holger Hermanns (), Nicolás Wolovick, Lijun Zhang: Measurability and safety verification for stochastic hybrid systems. In 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, 2011. DOI BIB