Sequential schemes for frequentist estimation of properties in statistical model checking

• Main Authors: JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2017
• Subjects: Error analysis; Estimation; Intelligent systems; Monte Carlo methods; Sampling; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4715; https://ink.library.smu.edu.sg/context/sis_research/article/5718/viewcontent/Sequential_schemes_QEST17_av.pdf
• Institution: Singapore Management University

Statistical Model Checking (SMC) is an approximate verification method that overcomes the state space explosion problem for probabilistic systems by Monte Carlo simulations. Simulations might be however costly if many samples are required. It is thus necessary to implement efficient algorithms to re...