Experiments for 'Verification of indefinite-horizon POMDPs'

Name: Experiments for 'Verification of indefinite-horizon POMDPs'
Creator: RWTH Aachen University; Joost-Pieter Katoen; UC Berkeley
Published: 2020-06-30T00:00:00+08:00

Zenodo2020-06-30 更新2026-04-07 收录

形式化验证

马尔可夫决策过程

数据链接：

https://zenodo.org/record/3924576 数据链接链接失效反馈

官方服务：

资源简介：

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

提供机构：

RWTH Aachen University; Joost-Pieter Katoen; UC Berkeley

创建时间：

2020-06-30

Probabilistic Gate MDP

强化学习

马尔可夫决策过程

该数据集是一个马尔可夫决策过程（MDP）环境，其中的任务是未来只到达标记为'a'的状态，同时避免到达标记为'c'的状态。此外，相关信息显示，该方法与其他方法相比，在样本效率和收敛性方面表现更佳。具体任务为：实现目标'a'且避免目标'c'。

arXiv180

Risk preferences and optimal management of uneven-aged forests in the presence of climate change: a Markov decision process approach

林木管理

马尔可夫决策过程

This study analyzes optimal harvesting of uneven-aged stands by applying a Markov Decision Processes (MDP) framework and an economic description of uneven-aged forestry. Two management types are c

DataCite Commons2020-09-05 更新100

Distributed SAT Competition 2005 Industrial Track Benchmarks

SAT布尔可满足性问题

形式化验证

These are 176 CNF files in DIMACS format from the industrial track of the SAT competition 2005 which were distributed after the competition. Some benchmarks were only available on webpages of submitt

NIAID Data Ecosystem20

Geo-location dataset in 10 grid maps

地理信息系统

马尔可夫决策过程

该数据集包含了意大利罗马目标区域内由20乘25个网格单元组成的网格地图。每个网格单元的中心点被作为该单元位置的代理。在额外信息中，定义了距离度量标准，即网格单元中心点之间的欧几里得距离。数据集中的刻度是基于10个网格单元的规模。任务是对马尔可夫决策过程（MDP）的性能进行评估。

arXiv150

SZLHOLDINGS/terra-source

形式化验证

基础设施管理

Terra Source — 基础设施层镜像，是SZL底层基础设施治理层Terra的源仓库镜像。Terra管理所有底层组件的计算资源供应、网络策略和资源认证。基础设施操作通过sentra进行门控，并生成DSSE签名的供应收据。Terra通过uds-governance-receipts与UDS网格集成。

Hugging Face2026-05-30 更新20

Experiments for 'Verification of indefinite-horizon POMDPs'

资源简介：

相关数据集