On the public citation graph

Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking

https://doi.org/10.1145/3310226
0 signed · 39 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-4612-0865-5_26openalex-snapshot
Probability Inequalities for sums of Bounded Random Variables
inferredcites →https://doi.org/10.1007/978-1-4612-0919-5_18openalex-snapshot
Sequential Tests of Statistical Hypotheses
inferredcites →https://doi.org/10.1007/978-3-0348-9078-6_132openalex-snapshot
Probabilistic Methods in Combinatorics
inferredcites →https://doi.org/10.1007/978-3-540-24622-0_8openalex-snapshot
Approximate Probabilistic Model Checking
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_4openalex-snapshot
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
inferredcites →https://doi.org/10.1007/978-3-642-24372-1_1openalex-snapshot
Statistical Model Checking for Cyber-Physical Systems
inferredcites →https://doi.org/10.1007/978-3-642-28756-5_37openalex-snapshot
A Platform for High Performance Statistical Model Checking – PLASMA
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_38openalex-snapshot
Importance Splitting for Statistical Model Checking Rare Properties
inferredcites →https://doi.org/10.1007/978-3-662-45231-8_16openalex-snapshot
Using Statistical Model Checking for Measuring Systems
inferredcites →https://doi.org/10.1007/bf02883985openalex-snapshot
Some inequalities relating to the partial sum of binomial probabilities
inferredcites →https://doi.org/10.1007/s10009-014-0361-yopenalex-snapshot
Uppaal SMC tutorial
inferredcites →https://doi.org/10.1007/s10703-013-0195-3openalex-snapshot
Bayesian statistical model checking with application to Stateflow/Simulink verification
inferredcites →https://doi.org/10.1016/0022-0000(79)90045-xopenalex-snapshot
Fast probabilistic algorithms for hamiltonian circuits and matchings
inferredcites →https://doi.org/10.1016/j.tcs.2005.09.003openalex-snapshot
Sequential sampling techniques for algorithmic learning theory
inferredcites →https://doi.org/10.1016/s0167-7152(01)00029-3openalex-snapshot
Sample size determination for constructing a constant width confidence interval for a binomial success probability
inferredcites →https://doi.org/10.1080/00401706.1988.10488450openalex-snapshot
Introduction to Probability and Statistics for Engineers and Scientists
inferredcites →https://doi.org/10.1080/01621459.1949.10483310openalex-snapshot
The Monte Carlo Method
inferredcites →https://doi.org/10.1080/01621459.1963.10500830openalex-snapshot
Probability Inequalities for Sums of Bounded Random Variables
inferredcites →https://doi.org/10.1093/biomet/26.4.404openalex-snapshot
THE USE OF CONFIDENCE OR FIDUCIAL LIMITS ILLUSTRATED IN THE CASE OF THE BINOMIAL
inferredcites →https://doi.org/10.1109/qest.2004.1348048openalex-snapshot
PRISM 2.0: a tool for probabilistic model checking
inferredcites →https://doi.org/10.1109/qest.2006.5openalex-snapshot
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains
inferredcites →https://doi.org/10.1109/wi-iat.2013.3openalex-snapshot
Properties of a New Adaptive Sampling Method with Applications to Scalable Learning
inferredcites →https://doi.org/10.1137/s0097539797315306openalex-snapshot
An Optimal Algorithm for Monte Carlo Estimation
inferredcites →https://doi.org/10.1145/3158668openalex-snapshot
A Survey of Statistical Model Checking
inferredcites →https://doi.org/10.1198/tast.2010.09140openalex-snapshot
Fixed-Width Sequential Confidence Intervals for a Proportion
inferredcites →https://doi.org/10.1214/aoms/1177729330openalex-snapshot
A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations
inferredcites →https://doi.org/10.1214/aoms/1177731118openalex-snapshot
Sequential Tests of Statistical Hypotheses
inferredcites →https://doi.org/10.1214/aop/1176990746openalex-snapshot
The Tight Constant in the Dvoretzky-Kiefer-Wolfowitz Inequality
inferredcites →https://doi.org/10.1214/ss/1009213286openalex-snapshot
Interval Estimation for a Binomial Proportion

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-61362-4_19openalex-snapshot
Statistical Model Checking: Black or White?
inferred← citeshttps://doi.org/10.1007/978-3-031-90643-5_9openalex-snapshot
Sound Statistical Model Checking for Probabilities and Expected Rewards
inferred← citeshttps://doi.org/10.1007/978-3-032-05792-1_11openalex-snapshot
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
inferred← citeshttps://doi.org/10.1109/ijcnn54540.2023.10191319openalex-snapshot
Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking
inferred← citeshttps://doi.org/10.1109/tii.2025.3528556openalex-snapshot
Simulation-Based Design of Industry-Size Control Systems With Formal Quality Guarantees
inferred← citeshttps://doi.org/10.1109/tse.2021.3125720openalex-snapshot
Compositional Analysis of Hierarchical UML Statecharts
inferred← citeshttps://doi.org/10.1109/tse.2024.3392720openalex-snapshot
Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation
inferred← citeshttps://doi.org/10.1145/3363784openalex-snapshot
Introduction to the Special Issue on Qest 2017
inferred← citeshttps://doi.org/10.1145/3832783.3834371openalex-snapshot
Sound and Efficient Statistical Model Checking for Probabilities and Bounded Rewards
inferred← citeshttps://doi.org/10.70675/6e2db0b6zdc31z4720z8c57z6ca4a91db885openalex-snapshot
Statistical Inference and Verification of Chemical Reaction Networks
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.