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

Le résumé fourni par la source

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

Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.