Benchmark data for the revised practitioner's guide to MDP model checking algorithms

thesis Benchmark data for the revised practitioner's guide to MDP model checking algorithms Arnd Hartmanns author Sebastian Junges author Tim Quatmann author Maximilian Weininger author 02ab0197-cc70-11ed-ab61-918e71f568810000-0002-0163-2152 KrCh department 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 Zenodo2025 10.5281/ZENODO.14500423 https://research-explorer.ista.ac.at/record/21661 Hartmanns, Arnd, Sebastian Junges, Tim Quatmann, and Maximilian Weininger. “Benchmark Data for the Revised Practitioner’s Guide to MDP Model Checking Algorithms.” Zenodo, 2025. <a href="https://doi.org/10.5281/ZENODO.14500423">https://doi.org/10.5281/ZENODO.14500423</a>. Hartmanns, A., Junges, S., Quatmann, T., & Weininger, M. (2025). Benchmark data for the revised practitioner’s guide to MDP model checking algorithms. Zenodo. <a href="https://doi.org/10.5281/ZENODO.14500423">https://doi.org/10.5281/ZENODO.14500423</a> 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, <a href="https://doi.org/10.5281/ZENODO.14500423">10.5281/ZENODO.14500423</a>. Hartmanns, Arnd, et al. <i>Benchmark Data for the Revised Practitioner’s Guide to MDP Model Checking Algorithms</i>. Zenodo, 2025, doi:<a href="https://doi.org/10.5281/ZENODO.14500423">10.5281/ZENODO.14500423</a>. A. Hartmanns, S. Junges, T. Quatmann, M. Weininger, (2025). Hartmanns A, Junges S, Quatmann T, Weininger M. Benchmark data for the revised practitioner’s guide to MDP model checking algorithms. 2025. doi:<a href="https://doi.org/10.5281/ZENODO.14500423">10.5281/ZENODO.14500423</a> 216682026-04-07T09:47:22Z2026-04-07T09:52:55Z