Sound Statistical Model Checking for Probabilities and Expected Rewards (experimental reproduction package)

Artifact to reproduce the experimental results presented in the article "Sound Statistical Model Checking for Probabilities and Expected Rewards" by by Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft (TACAS 2025). The contents include all data and software (formal models, software tools, Python & bash scripts) used in the experimental evaluation presented in sections 3, 4, and 6 of the article. Detailed instructions on how to reproduce the results are bundled in the artifact.