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.

Full text not available from this repository.
Official URL: https://doi.org/10.1007/978-3-319-66335-7_24
Item Type: Conference or Workshop Item (A Paper) (Paper)
Depositing User: Sebastian Weisgerber
Date Deposited: 22 Feb 2018 11:11
Last Modified: 22 Feb 2018 14:42
URI: https://publications.cispa.saarland/id/eprint/2303

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.