What is the Best Algorithm for MDP Model Checking? Replication Package

<p>This artefact allows to review and replicate the experiments from the paper <strong>What is the Best Algorithm for MDP Model Checking?</strong>.<br> The package contains all original logfiles and the scripts that extract the relevant data from those logs to generate the plots as in the paper.<br> Furthermore, the artefact contains the exercised version of the model checking tool `Storm` with its dependencies and convenient installation scripts as well as all benchmark instances.<br> The user can thus replicate all experiments from the paper.<br> An appropriate subset of the experiments is given to allow a review in a timely manner. In addition, single experiments can be handpicked for replication.</p> <p><em>This is a mild adaptation of the <a href="https://doi.org/10.5281/zenodo.7509473">artefact</a>&nbsp;for the paper &quot;A Practitioner&#39;s Guide to MDP Model Checking Algorithms by Hartmanns et al. (TACAS&#39;23)&quot;.</em></p>