Dataset Open Access

Experiments for 'Verification of indefinite-horizon POMDPs'

Alexander Bork; Sebastian Junges; Joost-Pieter Katoen; Tim Quatmann

BibTeX Export

@dataset{alexander_bork_2020_3924577,
  author       = {Alexander Bork and
                  Sebastian Junges and
                  Joost-Pieter Katoen and
                  Tim Quatmann},
  title        = {{Experiments for 'Verification of indefinite- 
                   horizon POMDPs'}},
  month        = jun,
  year         = 2020,
  note         = {{Currently, these files are also hosted on GitHub: 
                   https://github.com/moves-rwth/indefinite-horizon-
                   pomdps}},
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3924577},
  url          = {https://doi.org/10.5281/zenodo.3924577}
}
77
27
views
downloads
All versions This version
Views 7777
Downloads 2727
Data volume 63.2 MB63.2 MB
Unique views 7373
Unique downloads 2020
More info on how stats are collected.
Indexed in
Publication date:
June 30, 2020
DOI:
10.5281/zenodo.3924577

Zenodo DOI Badge

DOI 

10.5281/zenodo.3924577

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.3924577 Jun 30, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3924576. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export