works on
causal abstraction 1formal verification 1Markov decision processes 1reinforcement learning 1state space reduction 1

From the 1 of 18 linked papers with an AI index.

activity
20242026
most citedSound Value Iteration for Simple Stochastic Games

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

collaborators
Showing stat.MEShow all

1 paper · 1 filter

stat.ME2025

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…