Dataset Open Access

Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact

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

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

 

Files (388.4 kB)
Name Size
multi-cost-mdp.zip
md5:d0acf050f1b7903662c2697e267a7cbe 		388.4 kB Download
32
1
views
downloads
All versions This version
Views 3220
Downloads 10
Data volume 532.4 kB0 Bytes
Unique views 2716
Unique downloads 10
More info on how stats are collected.
Indexed in
Publication date:
June 15, 2020
DOI:
10.5281/zenodo.3894735

Zenodo DOI Badge

DOI 

10.5281/zenodo.3894735

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3894735.svg)](https://doi.org/10.5281/zenodo.3894735)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3894735.svg
   :target: https://doi.org/10.5281/zenodo.3894735

HTML 

<a href="https://doi.org/10.5281/zenodo.3894735"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3894735.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3894735.svg

Target URL 

https://doi.org/10.5281/zenodo.3894735

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 2 10.5281/zenodo.3894735 Jun 15, 2020
Version 1 10.5281/zenodo.3894717 Jun 15, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3894716. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export