具有有限吸引子的无限区域上的随机Büchi对策
Solving Stochastic Büchi Games on Infinite Arenas with a Finite Attractor
摘要：
我们考虑在无限概率竞技场上进行的游戏，其中第一个玩家的目标几乎肯定是满足广义Büchi目标，即，概率为1我们提供了一个不动点特征的获胜集和相关的获胜策略的情况下，竞技场满足有限吸引属性。从这一点，我们直接推导出这些游戏的概率有损信道系统的可判定性。
英文摘要：
We consider games played on an infinite probabilistic arena where the first player aims at satisfying generalized Büchi objectives almost surely, i.e., with probability one. We provide a fixpoint characterization of the winning sets and associated winning strategies in the case where the arena satisfies the finite-attractor property. From this we directly deduce the decidability of these games on probabilistic lossy channel systems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
