DOI,IST REx ID,Research Group,Title of publication
10.5281/ZENODO.14500423,21668,KrCh,Benchmark data for the revised practitioner's guide to MDP model checking algorithms