Dataset Open Access

Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact

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


BibTeX Export

@dataset{hartmanns_arnd_2020_3894735,
  author       = {Hartmanns, Arnd and
                  Junges, Sebastian and
                  Katoen, Joost-Pieter and
                  Quatmann, Tim},
  title        = {{Multi-Cost Bounded Tradeoff Analysis in MDP - 
                   Artifact}},
  month        = jun,
  year         = 2020,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3894735},
  url          = {https://doi.org/10.5281/zenodo.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