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

Supplemental Material for the Paper:<br> Multi-objective Optimization of Long-run Average and Total Rewards<br> 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.<br> We include the sources and dependencies of Storm as well as the related tools MultiGain and PRISM-games.<br> Moreover, we include model files and scripts for replicating *all* experiments as conducted for the paper.<br> 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