activity
20162025
most citedAn Overview of Modest Models and Tools for Real Stochastic Timed Systems

5 citations · 6 across the 9 of their papers we have counts for

collaborators
Showing stat.MEShow all

1 paper · 1 filter

stat.ME2025★ 1 cited

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

Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer +2

Statistical model checking (SMC) randomly samples probabilistic models to approximate quantities of interest with statistical error guarantees. It is traditionally used to estimate…