BriefGPT.xyz
Ask
alpha
关键词
parity objectives
搜索结果 - 3
机器人应用中基于时间逻辑规范的 POMDP 定性分析
本文探讨了具有标准框架的 POMDPs,以模拟现实世界中存在的不确定性,以及时间逻辑规范。我们研究了帕里目标下的 POMDP 定性分析问题,该问题在理论上难以计算,但我们提出了解决该问题的实用方法,并在许多机器人应用的已知示例中使用了我们的
→
PDF
10 years ago
关于具有 ω- 正则目标的部分可观察马尔可夫决策过程的可决定性
本文他认为配对绘图监测问题的 POMDP 用内存 Markov 实现的部分角色并支持 parity 主题,并讲达了所有 parity 主题的重置分析问题及可编码重置分析命令为有限内存内存固定质量。
PDF
11 years ago
用于 Büchi 目标的马尔可夫决策过程定性分析的符号算法
本文研究了使用奇偶级数目标表示的马尔可夫决策过程,提出了新的算法来计算几乎必胜状态的集合和符号强连通分量的计算。
PDF
13 years ago
Prev
Next