Published December 16, 2024
| Version v1
Dataset
Open
Benchmark Data for The Revised Practitioner's Guide to MDP Model Checking Algorithms
-
1.
University of Twente
- 2. Radboud University
-
3.
RWTH Aachen University
-
4.
Institute of Science and Technology Austria
Description
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