我的阅读状态 （保存写回仓库，全设备同步；首次保存需输入访问令牌）

AI 速览

一句话：研究可数无限 MDP 的奇偶目标及其 Mostowski 层级中有界颜色特例（可达、安全、Büchi、co-Büchi）。

本文研究可数无限状态 Markov 决策过程（MDP）中的奇偶目标（parity objectives）。奇偶目标位于 Mostowski 层级，可表达 ω-正则性质；作者同时考察 Mostowski 层级中颜色数有界的重要特殊情形，包括可达性（reachability）、安全性（safety）、Büchi 与 co-Büchi 目标。摘要仅给出研究对象，未说明具体算法、复杂度或可判定性结果，也未报告实现与实验评估。因此，本文属于对可数 MDP 奇偶目标及其特例的理论研究。

问题

研究可数无限 MDP 上奇偶目标的求解/分析问题，并覆盖 Mostowski 层级中颜色数有界的目标特例（可达、安全、Büchi、co-Büchi）。

方法

摘要未给出具体技术路线；论文以可数无限 MDP 和奇偶目标为对象，并将其与 Mostowski 层级中的有界颜色目标类一并考察。

评估

摘要未提供实验、实现或基准评估信息；从摘要看，工作为理论研究，未报告具体结果或评估方式。

链接与引用

DOI 原文 · arXiv · PDF（开放获取） · DBLP

@inproceedings{KieferMSW17,
  title = {Parity objectives in countable MDPs},
  author = {Stefan Kiefer and Richard Mayr and Mahsa Shirmohammadi and Dominik Wojtczakz},
  booktitle = {LICS},
  year = {2017},
  doi = {10.1109/lics.2017.8005100}
}