{"author":[{"full_name":"Hartmanns, Arnd","last_name":"Hartmanns","first_name":"Arnd"},{"last_name":"Junges","full_name":"Junges, Sebastian","first_name":"Sebastian"},{"full_name":"Quatmann, Tim","last_name":"Quatmann","first_name":"Tim"},{"id":"02ab0197-cc70-11ed-ab61-918e71f56881","full_name":"Weininger, Maximilian","last_name":"Weininger","first_name":"Maximilian","orcid":"0000-0002-0163-2152"}],"OA_type":"gold","month":"03","article_processing_charge":"No","department":[{"_id":"KrCh"}],"citation":{"chicago":"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>.","apa":"Hartmanns, A., Junges, S., Quatmann, T., &#38; 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>","ista":"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>.","ieee":"A. Hartmanns, S. Junges, T. Quatmann, and M. Weininger, “Benchmark data for the revised practitioner’s guide to MDP model checking algorithms.” Zenodo, 2025.","short":"A. Hartmanns, S. Junges, T. Quatmann, M. Weininger, (2025).","mla":"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>.","ama":"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>"},"type":"research_data_reference","date_updated":"2026-04-07T09:52:55Z","OA_place":"repository","related_material":{"record":[{"relation":"used_for_analysis_in","status":"public","id":"21661"}]},"date_published":"2025-03-07T00:00:00Z","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"07","oa":1,"_id":"21668","doi":"10.5281/ZENODO.14500423","main_file_link":[{"url":"https://doi.org/10.5281/ZENODO.14500423","open_access":"1"}],"date_created":"2026-04-07T09:47:22Z","ddc":["000"],"publisher":"Zenodo","year":"2025","title":"Benchmark data for the revised practitioner's guide to MDP model checking algorithms","status":"public","abstract":[{"lang":"eng","text":"This artifact allows to review and reproduce the experiments from the paper *A Revised Practitioner's Guide to MDP Model Checking Algorithms*.\r\nThe 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.\r\n\r\nSee also the artifact of the conference paper: https://zenodo.org/records/7509474"}]}