Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini. Approximate Model Checking of Stochastic Hybrid Systems. Eur. J. Control, 16(6):624-641, 2010. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Quantitative automata model checking of autonomous stochastic hybrid systemsAlessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre. hybrid 2011: 83-92 [doi] On approximation metrics for linear temporal model-checking of stochastic systemsIlya Tkachev, Alessandro Abate. hybrid 2014: 193-202 [doi]
The following publications are possibly variants of this publication: