Sequential schemes for frequentist estimation of properties in statistical model checking

DOI10.1007/978-3-319-66335-7_23MaRDI QIDQ5194935zbMATH OpenOpenAlexFDO

Authors Cyrille Jegourel, Jun Sun, Jin-Song Dong

Publication date 17 September 2019

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

Full work available at URL http://hdl.handle.net/10072/355058

Mathematics Subject Classification ID

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

Recommendations

• Statistical model checking
• Coupling and importance sampling for statistical model checking
• Statistical model checking for cyber-physical systems
• Bayesian statistical model checking with application to Simulink/Stateflow verification
• Bayesian statistical model checking with application to Stateflow/Simulink verification

Cited in

(2)

• Tandem-width sequential confidence intervals for a Bernoulli proportion
• Sequential schemes for frequentist estimation of properties in statistical model checking

This page was built for publication: Sequential schemes for frequentist estimation of properties in statistical model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5194935)