<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

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

Research datakeyboard_double_arrow_right Dataset 01 Jan 2024Publisher:Zenodo

Authors: Hartmanns, Arnd; Junges, Sebastian; Quatmann, Tim; Weininger, Maximilian;

doi: 10.5281/zenodo.14989118 , 10.5281/zenodo.14556184 , 10.5281/zenodo.14500424 , 10.5281/zenodo.14500423

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

- Summary
- Metrics

Abstract

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

Related Organizations

University of Twente
Netherlands
Radboud University Nijmegen
Netherlands
Institute of Science and Technology Austria
Austria
RWTH Aachen University
Germany

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Related to Research communities

Netherlands Research Portal