Published June 15, 2020 | Version v2
Dataset Open

Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact

  • 1. University of Twente
  • 2. RWTH Aachen University


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



Files (388.4 kB)

Name Size Download all
388.4 kB Preview Download