---
res:
  bibo_abstract:
  - "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@eng"
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Arnd
      foaf_name: Hartmanns, Arnd
      foaf_surname: Hartmanns
  - foaf_Person:
      foaf_givenName: Sebastian
      foaf_name: Junges, Sebastian
      foaf_surname: Junges
  - foaf_Person:
      foaf_givenName: Tim
      foaf_name: Quatmann, Tim
      foaf_surname: Quatmann
  - foaf_Person:
      foaf_givenName: Maximilian
      foaf_name: Weininger, Maximilian
      foaf_surname: Weininger
      foaf_workInfoHomepage: http://www.librecat.org/personId=02ab0197-cc70-11ed-ab61-918e71f56881
    orcid: 0000-0002-0163-2152
  bibo_doi: 10.5281/ZENODO.14500423
  dct_date: 2025^xs_gYear
  dct_publisher: Zenodo@
  dct_title: Benchmark data for the revised practitioner's guide to MDP model checking
    algorithms@
...