Benchmark data for the revised practitioner's guide to MDP model checking algorithms
Hartmanns A, Junges S, Quatmann T, Weininger M. 2025. Benchmark data for the revised practitioner’s guide to MDP model checking algorithms, Zenodo, 10.5281/ZENODO.14500423.
Download (ext.)
Research Data Reference
Creator
Hartmanns, Arnd;
Junges, Sebastian;
Quatmann, Tim;
Weininger, MaximilianISTA 
Department
Abstract
This artifact allows to review and reproduce the experiments from the paper *A Revised Practitioner's Guide to MDP Model Checking Algorithms*.
The package contains all original logfiles and derived data used to generate the plots as in the paper. Furthermore, the artifact contains the model checking tools `Storm` and `mcsta` in the version exercised in the paper, the used Docker container, as well as benchmark instances and execution scripts to reproduce the experiments.
See also the artifact of the conference paper: https://zenodo.org/records/7509474
Publishing Year
Date Published
2025-03-07
Publisher
Zenodo
IST-REx-ID
Cite this
Hartmanns A, Junges S, Quatmann T, Weininger M. Benchmark data for the revised practitioner’s guide to MDP model checking algorithms. 2025. doi:10.5281/ZENODO.14500423
Hartmanns, A., Junges, S., Quatmann, T., & Weininger, M. (2025). Benchmark data for the revised practitioner’s guide to MDP model checking algorithms. Zenodo. https://doi.org/10.5281/ZENODO.14500423
Hartmanns, Arnd, Sebastian Junges, Tim Quatmann, and Maximilian Weininger. “Benchmark Data for the Revised Practitioner’s Guide to MDP Model Checking Algorithms.” Zenodo, 2025. https://doi.org/10.5281/ZENODO.14500423.
A. Hartmanns, S. Junges, T. Quatmann, and M. Weininger, “Benchmark data for the revised practitioner’s guide to MDP model checking algorithms.” Zenodo, 2025.
Hartmanns A, Junges S, Quatmann T, Weininger M. 2025. Benchmark data for the revised practitioner’s guide to MDP model checking algorithms, Zenodo, 10.5281/ZENODO.14500423.
Hartmanns, Arnd, et al. Benchmark Data for the Revised Practitioner’s Guide to MDP Model Checking Algorithms. Zenodo, 2025, doi:10.5281/ZENODO.14500423.
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 for analysis in
Google Scholar