Sequential schemes for frequentist estimation of properties in statistical model checking

DOI10.1145/3310226zbMath1544.62071MaRDI QIDQ6600066

Cyrille Jegourel, Jun Sun, Jin-Song Dong

Publication date: 8 September 2024

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

zbMATH Keywords

Monte Carlo simulationsstatistical model checkingsampling sizeabsolute and relative errorsapproximate and exact confidence intervalsChernoff and Massart bounds

Mathematics Subject Classification ID

Computational methods for problems pertaining to statistics (62-08) Parametric tolerance and confidence regions (62F25) Monte Carlo methods (65C05) Specification and verification (program logics, model checking, etc.) (68Q60) Sequential estimation (62L12)

Cites Work

• Unnamed Item
• Unnamed Item
• The tight constant in the Dvoretzky-Kiefer-Wolfowitz inequality
• Some inequalities relating to the partial sum of binomial probabilities
• Fast probabilistic algorithms for Hamiltonian circuits and matchings
• Interval estimation for a binomial proportion. (With comments and a rejoinder).
• Sample size determination for constructing a constant width confidence interval for a binomial success probability
• Bayesian statistical model checking with application to Stateflow/Simulink verification
• Sequential sampling techniques for algorithmic learning theory
• The use of confidence of fiducial limits illustrated in the case of the binomial.
• A Platform for High Performance Statistical Model Checking – PLASMA
• Statistical Model Checking for Cyber-Physical Systems
• An Optimal Algorithm for Monte Carlo Estimation
• Tools and Algorithms for the Construction and Analysis of Systems
• Probability Inequalities for Sums of Bounded Random Variables
• The Monte Carlo Method
• A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations
• Sequential Tests of Statistical Hypotheses
• A survey of statistical model checking

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