Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact

University of Twente Research Information

Abstract

This artifact contains the data and scripts to replicate the experiments from the paper ``` Multi-Cost Bounded Trade-off Analysis in MDP ``` by Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, and Tim Quatmann

Authors 4

1. Arnd Hartmanns

   University of Twente

   Affiliation as printed

   University of Twente

2. Sebastian Junges Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

3. Joost-Pieter Katoen Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

4. Tim Quatmann Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University