Dataset Open Access

Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact

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


JSON-LD (schema.org) Export

{
  "description": "<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>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "University of Twente", 
      "@type": "Person", 
      "name": "Hartmanns, Arnd"
    }, 
    {
      "affiliation": "RWTH Aachen University", 
      "@type": "Person", 
      "name": "Junges, Sebastian"
    }, 
    {
      "affiliation": "RWTH Aachen University", 
      "@type": "Person", 
      "name": "Katoen, Joost-Pieter"
    }, 
    {
      "affiliation": "RWTH Aachen University", 
      "@id": "https://orcid.org/0000-0002-2843-5511", 
      "@type": "Person", 
      "name": "Quatmann, Tim"
    }
  ], 
  "url": "https://zenodo.org/record/3894735", 
  "datePublished": "2020-06-15", 
  "@context": "https://schema.org/", 
  "distribution": [
    {
      "contentUrl": "https://zenodo.org/api/files/e725ed44-1ebb-47d6-b660-f16b776ebab8/multi-cost-mdp.zip", 
      "encodingFormat": "zip", 
      "@type": "DataDownload"
    }
  ], 
  "identifier": "https://doi.org/10.5281/zenodo.3894735", 
  "@id": "https://doi.org/10.5281/zenodo.3894735", 
  "@type": "Dataset", 
  "name": "Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact"
}
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