TY  - RPRT
TI  - Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems
AU  - Sadegh Esmaeil Zadeh Soudjani
AU  - Rupak Majumdar
AU  - Tigran Nagapetyan
PY  - 2017
UR  - https://arxiv.org/abs/1706.08270
ID  - 1706.08270
ER  -