Published December 2024
| Version v2
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
LICENSE.md
Files
(1.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:e8b4c8bb631780d9e2554aa459ffdc5f
|
1.3 GB | Download |
|
md5:2f4e82c1f785a66b8b0d44e6428c57a3
|
242 Bytes | Preview Download |
|
md5:4bb3e91104314ade1c30cbb6be807cd0
|
77.4 MB | Download |
|
md5:a45de4a2b9b7dd0d380078295d14aff4
|
8.9 kB | Preview Download |
|
md5:67e5e2f147fbb4c020510610695170e4
|
47.2 MB | Download |
|
md5:5f23aa0490536469652828f9965c6dc6
|
72.8 MB | Download |