Published June 30, 2020
| Version v1
Dataset
Open
Experiments for 'Verification of indefinite-horizon POMDPs'
- 1. RWTH Aachen University
- 2. UC Berkeley
Description
Supplementary material for the ATVA 2020 paper on Verification of indefinite-horizon POMDPs
Notes
Files
indefinite-horizon-pomdps-master.zip
Files
(3.5 MB)
Name | Size | Download all |
---|---|---|
md5:15ba8578b94d4ad9bdad91e8f3cb2035
|
3.5 MB | Preview Download |
md5:d313602b74824c5860a4b8a450f18616
|
1.3 kB | Preview Download |