Dataset Open Access

Experiments for 'Verification of indefinite-horizon POMDPs'

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

Supplementary material for the ATVA 2020 paper on Verification of indefinite-horizon POMDPs

Currently, these files are also hosted on GitHub: https://github.com/moves-rwth/indefinite-horizon-pomdps
Files (3.5 MB)
Name Size
indefinite-horizon-pomdps-master.zip
md5:15ba8578b94d4ad9bdad91e8f3cb2035
3.5 MB Download
README.md
md5:d313602b74824c5860a4b8a450f18616
1.3 kB Download
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