沃尔夫冈·托马斯 关于无限对策中策略的综合。 （英语） Zbl 1379.68233号 Mayr，Ernst W.（编辑）等人，STACS 95。1995年3月2日至4日，德国慕尼黑，第十二届计算机科学理论方面年度研讨会。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-59042-0）。计算机科学讲义900，1-13（1995）。 摘要：无限两人游戏是研究反应式非终止程序的自然框架。在此类游戏中有效构建获胜策略是合成反应性程序的一种方法。我们描述了无限对策的自动机理论设置（由“对策图”给出），概述了有限状态对策中获胜策略的一种新构造，并给出了有效呈现的无限图上对策的一些问题。有关整个系列，请参见[Zbl 0813.68028号]. 引用于88文件 MSC公司： 65年第68季度 形式语言和自动机 91A05型 2人游戏 91A43型 涉及图形的游戏 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，莱克特。票据计算。科学。900，1-13（1995年；兹bl 1379.68233） 全文： 内政部