| _version_ | 1866902157904576512 |
|---|---|
| author | Bork, Alexander Katoen, Joost-Pieter Quatmann, Tim Stein, Svenja |
| author_facet | Bork, Alexander Katoen, Joost-Pieter Quatmann, Tim Stein, Svenja |
| contents | <p>Supplementary Material for the Paper:<br> Multi-Cost-Bounded Reachability Analysis of POMDPs<br>by Alexander Bork, Joost-Pieter Katoen, Tim Quatmann and Svenja Stein.</p> <p>This artifact contains the implementation for the paper "Multi-Cost-Bounded Reachability Analysis of POMDPs". Our implementation is integrated in the probabilistic model checker Storm.</p> <p>Included are the source files of Storm with the extensions we made.</p> <p>In addition to the tool, the artifact contains the model files we used for evaluating our implementation.</p> <p>For validation of our original experiments, the original logfiles are also included.</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_15642233 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Artifact for Paper: Multi-Cost-Bounded Reachability Analysis of POMDPs Bork, Alexander Katoen, Joost-Pieter Quatmann, Tim Stein, Svenja <p>Supplementary Material for the Paper:<br> Multi-Cost-Bounded Reachability Analysis of POMDPs<br>by Alexander Bork, Joost-Pieter Katoen, Tim Quatmann and Svenja Stein.</p> <p>This artifact contains the implementation for the paper "Multi-Cost-Bounded Reachability Analysis of POMDPs". Our implementation is integrated in the probabilistic model checker Storm.</p> <p>Included are the source files of Storm with the extensions we made.</p> <p>In addition to the tool, the artifact contains the model files we used for evaluating our implementation.</p> <p>For validation of our original experiments, the original logfiles are also included.</p> |
| title | Artifact for Paper: Multi-Cost-Bounded Reachability Analysis of POMDPs |
| url | https://doi.org/10.5281/zenodo.15642233 |