paperbot · PL 论文追踪

全部论文 待读 收藏

P2 On strong determinacy of countable stochastic games

可数随机博弈的强确定性
LICS 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)2017匹配度 1/10 · 该论文研究可数无穷状态随机博弈的强确定性，属于逻辑与自动机/博弈论基础理论，与用户关注的静态分析、LLM/Agent、浮点程序分析及贝叶斯程序分析均无直接关联。引用 7 inbox
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
逻辑与自动机
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话：研究可数无穷状态随机博弈在可达、Büchi、ω-正则等目标下的强确定性。

论文研究具有可数无穷状态空间的二人回合制完全信息随机博弈。两名玩家分别试图最大化或最小化某个给定事件（即无限博弈序列的可测集合）的发生概率，典型目标包括可达性、Büchi 条件、ω-正则条件以及更一般的概率目标。核心问题是这类博弈的强确定性：在可数状态与上述目标下，博弈结果是否由双方的最优或必胜策略所确定，以及概率目标如何影响确定性。摘要未展开具体定理或算法，但将可数随机博弈的强确定性问题置于统一框架下考察，为理解无限状态概率系统的博弈语义与验证提供基础。

问题
在可数无穷状态、完全信息随机博弈中，玩家针对可达、Büchi、ω-正则等可测事件最大化或最小化概率时，强确定性是否成立、如何刻画。
方法
在随机博弈与可测事件的理论框架下进行博弈论分析；摘要未给出更具体的算法或证明技术。
评估
摘要未报告实验或工具评估；该工作为理论性研究。
原文摘要（Abstract）

We study 2-player turn-based perfect-information stochastic games with countably infinite state space. The players aim at maximizing/minimizing the probability of a given event (i.e., measurable set of infinite plays), such as reachability, Büchi, ω-regular or more general objectives.

链接与引用

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

BibTeX 
@inproceedings{KieferMSW17a,
  title = {On strong determinacy of countable stochastic games},
  author = {Stefan Kiefer and Richard Mayr and Mahsa Shirmohammadi and Dominik Wojtczak},
  booktitle = {LICS},
  year = {2017},
  doi = {10.1109/lics.2017.8005134}
}