[{"main_file_link":[{"url":"https://doi.org/10.5281/ZENODO.14500423","open_access":"1"}],"oa_version":"Published Version","doi":"10.5281/ZENODO.14500423","date_updated":"2026-04-07T09:52:55Z","OA_place":"repository","oa":1,"month":"03","publisher":"Zenodo","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Hartmanns, Arnd","first_name":"Arnd","last_name":"Hartmanns"},{"full_name":"Junges, Sebastian","first_name":"Sebastian","last_name":"Junges"},{"full_name":"Quatmann, Tim","first_name":"Tim","last_name":"Quatmann"},{"full_name":"Weininger, Maximilian","first_name":"Maximilian","id":"02ab0197-cc70-11ed-ab61-918e71f56881","orcid":"0000-0002-0163-2152","last_name":"Weininger"}],"date_created":"2026-04-07T09:47:22Z","abstract":[{"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","lang":"eng"}],"ddc":["000"],"_id":"21668","department":[{"_id":"KrCh"}],"day":"07","title":"Benchmark data for the revised practitioner's guide to MDP model checking algorithms","OA_type":"gold","status":"public","article_processing_charge":"No","citation":{"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>","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>.","short":"A. Hartmanns, S. Junges, T. Quatmann, M. Weininger, (2025).","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>.","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>","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.","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>."},"year":"2025","date_published":"2025-03-07T00:00:00Z","type":"research_data_reference","related_material":{"record":[{"relation":"used_for_analysis_in","status":"public","id":"21661"}]}}]