Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact

Zenodo (CERN European Organization for Nuclear Research)

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 1

1. Tim Quatmann corresponding Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University