×

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).

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
68Q45 Formal languages and automata
PDFBibTeX XMLCite
Full Text: DOI