BriefGPT.xyz
Ask
alpha
关键词
almost-sure reachability
搜索结果 - 1
AAAI
一种基于符号 SAT 的 POMDP 几乎必达性小策略算法
研究 POMDPs 的几乎确定可达性问题,提出了具有小内存的策略的符号算法,通过有效编码到 SAT 并使用 SAT solver 来解决问题。
PDF
9 years ago
Prev
Next