Sequential schemes for frequentist estimation of properties in statistical model checking

• المؤلفون الرئيسيون: JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2017
• الموضوعات: Error analysis; Estimation; Intelligent systems; Monte Carlo methods; Sampling; Software Engineering
• الوصول للمادة أونلاين: 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

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...