Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems

Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Nagapetyan, Tigran
(2017) Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.
In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings.
Conference: None | Not Set

Full text not available from this repository.
Official URL: https://doi.org/10.1007/978-3-319-66335-7_24

Actions

Actions (login required)

View Item View Item