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> </p>",
"title": "Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact",
"type": "dataset",
"id": "3894735"
}
32
1
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 32 | 20 |
| Downloads | 1 | 0 |
| Data volume | 532.4 kB | 0 Bytes |
| Unique views | 27 | 16 |
| Unique downloads | 1 | 0 |
Indexed in
- Publication date:
- June 15, 2020
- DOI:
-
- License (for files):
- Creative Commons Attribution 4.0 International