A Practitioner's Guide to MDP Model Checking Algorithms
| Autor: | Hartmanns, A., Junges, S., Quatmann, T., Weininger, M., Sankaranarayanan, S. |
|---|---|
| Rok vydání: | 2023 |
| Zdroj: | Sankaranarayanan, S. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I, 469-488. Cham : Springer Nature Switzerland STARTPAGE=469;ENDPAGE=488;ISSN=0302-9743;TITLE=Sankaranarayanan, S. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I |
| ISSN: | 0302-9743 |
| Popis: | This artefact allows to review and replicate the experiments from the TACAS'23 paperA Practitioner's Guide to MDP Model Checking Algorithms. 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. Furthermore, the artefact contains the model checking tools `Storm` and `mcsta` with their dependencies and convenient installation scripts as well as all benchmark instances. We provide installation instructions for those LP solvers that, due to licensing reasons, could not be included in this artefact. The user can thus replicate all experiments from the paper. 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. Copyright: Open Access |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|