TY  - RPRT
TI  - Statistical Model Checking for Stochastic Hybrid Systems
AU  - Alexandre David
AU  - Dehui Du
AU  - Kim G. Larsen
AU  - Axel Legay
AU  - Marius Mikučionis
AU  - Danny Bøgsted Poulsen
AU  - Sean Sedwards
PY  - 2012
DO  - 10.4204/eptcs.92.9
UR  - https://arxiv.org/abs/1208.3856
ID  - 1208.3856
ER  -