Actions
  • shareshare
  • link
  • cite
  • add
add
auto_awesome_motion View all 2 versions
Research data . Dataset . 2020

Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact

Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim;
Open Access
Published: 15 Jun 2020
Publisher: Zenodo
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
moresidebar