Alexandre David, Marius Mikučionis, Kim Guldstrand Larsen, Danny Bogsten Poulsen, Axel Legay, et al.. Statistical Model Checking for Stochastic Hybrid Systems.
Proceedings First International Workshop on Hybrid Systems and Biology, Sep 2012, Newcastle Upon Tyne, United Kingdom. pp.122 - 136,
⟨10.4204/EPTCS.92.9⟩.
⟨hal-01088197⟩