Dataset Open Access

Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material

Quatmann, Tim; Katoen, Joost-Pieter

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

Files (319.4 MB)
Name Size
aev.zip
md5:affae99396e52dafeded218c4abded66
319.4 MB Download
86
10
views
downloads
All versions This version
Views 8676
Downloads 1010
Data volume 3.2 GB3.2 GB
Unique views 6963
Unique downloads 1010

Share

Cite as