Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)

arXiv:2509.11859 · stat.ME, cs.DM, cs.LO · Submitted 2025-09-15 · Read on arXiv

stat.ME, cs.DM, cs.LO

Submitted: 2025-09-15

Updated: 2025-09-15

Terminology

• Benchmark — 1× in this paper · explained in 2 episodes
• Verification — 1× in this paper · explained in 2 episodes

Related papers

• Doubly robust inference via calibration
• Bayesian Empirical Bayes: Simultaneous Inference from Probabilistic Symmetries
• Weak-Form Recovery of Stochastic Generators
• Optimal Watermark Localization in Mixed-Source Large Language Model Texts
• Optimized Conformal Selection: Powerful Selective Inference After Data-Dependent Score Construction
• Small area learning