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

Share

Cite as