TY  - RPRT
TI  - Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
AU  - Carlos E. Budde
AU  - Arnd Hartmanns
AU  - Tobias Meggendorfer
AU  - Maximilian Weininger
AU  - Patrick Wienhöft
PY  - 2025
DO  - 10.1007/978-3-031-90643-5_9
UR  - https://arxiv.org/abs/2411.00559
ID  - 2411.00559
ER  -