Sound statistical model checking for probabilities and expected rewards (experimental reproduction package)
Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. 2025. Sound statistical model checking for probabilities and expected rewards (experimental reproduction package), Zenodo, 10.5281/ZENODO.14602066.
Download (ext.)
Research Data Reference
Creator
Budde, Carlos;
Hartmanns, Arnd;
Meggendorfer, TobiasISTA 
;
Weininger, MaximilianISTA;
Wienhöft, Patrick
;
Weininger, MaximilianISTA;
Wienhöft, PatrickDepartment
Abstract
Artifact to reproduce the experimental results presented in the article "Sound Statistical Model Checking for Probabilities and Expected Rewards" 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.
Publishing Year
Date Published
2025-01-07
Publisher
Zenodo
IST-REx-ID
Cite this
Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical model checking for probabilities and expected rewards (experimental reproduction package). 2025. doi:10.5281/ZENODO.14602066
Budde, C., Hartmanns, A., Meggendorfer, T., Weininger, M., & Wienhöft, P. (2025). Sound statistical model checking for probabilities and expected rewards (experimental reproduction package). Zenodo. https://doi.org/10.5281/ZENODO.14602066
Budde, Carlos, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft. “Sound Statistical Model Checking for Probabilities and Expected Rewards (Experimental Reproduction Package).” Zenodo, 2025. https://doi.org/10.5281/ZENODO.14602066.
C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, and P. Wienhöft, “Sound statistical model checking for probabilities and expected rewards (experimental reproduction package).” Zenodo, 2025.
Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. 2025. Sound statistical model checking for probabilities and expected rewards (experimental reproduction package), Zenodo, 10.5281/ZENODO.14602066.
Budde, Carlos, et al. Sound Statistical Model Checking for Probabilities and Expected Rewards (Experimental Reproduction Package). Zenodo, 2025, doi:10.5281/ZENODO.14602066.
All files available under the following license(s):
Copyright Statement:
This Item is protected by copyright and/or related rights. [...]
Link(s) to Main File(s)
Access Level
Open Access
Material in ISTA:
Used in publication
Google Scholar