Benchmark Data for The Revised Practitioner's Guide to MDP Model Checking Algorithms

Zenodo (CERN European Organization for Nuclear Research)

Abstract

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

Authors 4

1. Arnd Hartmanns

   University of Twente

   Affiliation as printed

   University of Twente

2. Sebastian Junges

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University

3. Tim Quatmann Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

4. Maximilian Weininger

   Institute of Science and Technology Austria

   Affiliation as printed

   Institute of Science and Technology Austria