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