Dataset Open Access

Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact

Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3894735", 
  "author": [
    {
      "family": "Hartmanns, Arnd"
    }, 
    {
      "family": "Junges, Sebastian"
    }, 
    {
      "family": "Katoen, Joost-Pieter"
    }, 
    {
      "family": "Quatmann, Tim"
    }
  ], 
  "issued": {
    "date-parts": [
      [
        2020, 
        6, 
        15
      ]
    ]
  }, 
  "abstract": "<p>This artifact contains the data and scripts to replicate the experiments from the paper</p>\n\n<p>```<br>\nMulti-Cost Bounded Trade-off Analysis in MDP<br>\n```<br>\nby Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, and Tim Quatmann</p>\n\n<p>&nbsp;</p>", 
  "title": "Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact", 
  "type": "dataset", 
  "id": "3894735"
}
32
1
views
downloads
All versions This version
Views 3220
Downloads 10
Data volume 532.4 kB0 Bytes
Unique views 2716
Unique downloads 10

Share

Cite as