Approximate Model Checking of Stochastic Hybrid Systems
A. Abate‚ J.P. Katoen‚ J. Lygeros and M. Prandini
ISSN
0947−3580
Journal
European Journal of Control
Number
6
Pages
624−641
Publisher
Elsevier
Volume
16
Year
2010
A. Abate‚ J.P. Katoen‚ J. Lygeros and M. Prandini