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

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2024

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)

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

Statistical model checking estimates probabilities and expectations of interest in probabilistic system models by using random simulations. Its results come with statistical guaran…