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

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. <em>This is a mild adaptation of the artefact for the paper "A Practitioner's Guide to MDP Model Checking Algorithms by Hartmanns et al. (TACAS'23)".</em>