Quantitative automata model checking of autonomous stochastic hybrid systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative automata model checking of autonomous 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 83-92, ACM, 2011. [doi]

This author has not been identified. Look up 'Alessandro Abate' in GoogleThis author has not been identified. It may be one of the following persons:

Joost-Pieter Katoen

Look up 'Joost-Pieter Katoen' in GoogleThis author has not been identified. Look up 'Alexandru Mereacre' in Google

runs on WebDSL