求解具有有限吸引子的无限竞技场上的随机Büchi博弈
计算机科学中的逻辑
2013-06-13 v4 形式语言与自动机理论
计算机科学与博弈论
摘要
我们考虑在无限概率竞技场上进行的博弈，其中第一个玩家的目标是几乎必然地满足广义Büchi目标，即以概率一满足。在竞技场满足有限吸引子性质的情况下，我们给出了必胜集及相关必胜策略的不动点刻画。由此我们直接推导出这些博弈在概率丢失通道系统上的可判定性。
引用
@article{arxiv.1207.4577,
title = {Solving Stochastic B\"uchi Games on Infinite Arenas with a Finite Attractor},
author = {Nathalie Bertrand and Philippe Schnoebelen},
journal= {arXiv preprint arXiv:1207.4577},
year = {2013}
}
备注
In Proceedings QAPL 2013, arXiv:1306.2413