Approximate Model Checking of Stochastic Hybrid Systems

Thumbnail
Metadata only
Author
Abate, Alessandro
Katoen, Joost-Pieter
Lygeros, Johncc
Prandini, Maria
Show all
Date
2010
Type
    Journal Article
Publication status
published
External links
Journal / series
European Journal of Control
Volume
16(6)
Pages / Article No.
624 - 641
Publisher
Springer
Subject
Stochastic Hybrid Systems; Model Checking; Probabilistic Invariance
Organisational unit
03751 - Lygeros, John / Lygeros, John  
More
Show all metadata
ETH Bibliography
yes
Altmetrics