Skip to main content

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