Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun Measurability and safety verification for stochastic hybrid systems. (English) Zbl 1362.68170 Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 43-52 (2011). Cited in 17 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68Q45 Formal languages and automata Keywords:measurability; nondeterministic Markov process; probabilistic hybrid automaton; reachability; stochastic hybrid automaton PDFBibTeX XMLCite \textit{M. Fränzle} et al., in: Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12--14, 2011. New York, NY: Association for Computing Machinery (ACM). 43--52 (2011; Zbl 1362.68170) Full Text: DOI