Experiments for 'Verification of indefinite-horizon POMDPs'
收藏数据链接：
官方服务：
资源简介：
Supplementary material for the ATVA 2020 paper on Verification of indefinite-horizon POMDPs
ATVA 2020会议中关于不定时域部分可观察马尔可夫决策过程（Partially Observable Markov Decision Processes, POMDP）验证的论文的补充材料
提供机构：
Zenodo创建时间：
2020-06-30
