Approximate Model Checking of Stochastic Hybrid Systems

Thumbnail
Metadata only
Author
Abate, A.
Katoen, J.P.
Lygeros, John
Prandini, M.
Show all
Date
2010
Type
  • Journal Article
Publication status
published
External links
Search via SFX
Journal / series
European journal of control
Volume
16(6)
Pages
624 - 641
Publisher
Springer
Subject
Stochastic Hybrid Systems; Model Checking; Probabilistic Invariance
Organisational unit
03751 - Lygeros, John
Notes
Received 5 May 2009, Accepted 18 February 2010.
More
Show all metadata
Citations
Cited 48 times in Web of Science
Altmetrics