Published March 7, 2025
| Version v3
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
Files
docker.zip
Files
(1.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:1554176677be5c8e4a258ebd785e1108
|
1.4 GB | Preview Download |
|
md5:40c2f8ebf3e3b6476d3935c6034ae18a
|
236 Bytes | Preview Download |
|
md5:44a89477b42617528119d39cdf86c2d2
|
151.5 MB | Preview Download |
|
md5:5b03f338b5d67d5e5c2029c0a260d98f
|
8.9 kB | Preview Download |
|
md5:d6da4e8aacf2218e312215c3129dbae8
|
49.8 MB | Preview Download |
|
md5:6b38f5b6b499496ba743368ebeef7e76
|
74.1 MB | Preview Download |