Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material (Q6697781)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material |
Dataset published at Zenodo repository. |
Statements
Supplemental Material for the Paper: Multi-objective Optimization of Long-run Average and Total Rewards by Tim Quatmann and Joost-Pieter Katoen. This artifact contains our implementation for the paper Multi-objective Optimization of Long-run Average and Total Rewards. The implementation is fully integrated into the model checker Storm. We include the sources and dependencies of Storm as well as the related tools MultiGain and PRISM-games. Moreover, we include model files and scripts for replicating *all* experiments as conducted for the paper. The original logfiles obtained during our experiments are included as well. The artifact has been tested to work with the TACAS 21 Artifact Evaluation VM running Ubuntu 20.04 LTS
0 references
23 October 2020
0 references
