Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems

DOI10.1007/978-3-319-66335-7_24zbMath1420.68126arXiv1706.08270OpenAlexW2702352633MaRDI QIDQ5194936

Rupak Majumdar, Tigran Nagapetyan, Sadegh Esmaeil Zadeh Soudjani

Publication date: 17 September 2019

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1706.08270

zbMATH Keywords

hybrid systemsformal verificationmultilevel Monte Carlostatistical model checkingcontinuous-time stochastic processes

Mathematics Subject Classification ID

Monte Carlo methods (65C05) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Data-driven verification of stochastic linear systems with signal temporal logic constraints ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems