×
迪特马尔·伯旺格;凯撒，乌卡斯

图形游戏中的信息跟踪。 （英语） Zbl 1203.91033号

J.逻辑语言信息。 19，第4期，395-412（2010）.
小结：当在信息不完全的游戏中寻求协调时，玩家通常需要知道其他玩家知道什么。然而，跟踪在无限持续时间的游戏中获得的信息可能会导致高阶知识的无限层次。我们提出了一个结构，它明确了哪些高阶知识与游戏相关，并允许我们描述一类游戏，这些游戏允许使用有限内存的协调取胜策略。

引用于9文件

MSC公司：

91年43月 涉及图形的游戏
91A06型 \（n）-人游戏，（n>2）

关键词：

无限游戏;不完全信息;分布式策略;多人游戏
PDF格式BibTeX公司 XML格式引用
\textit{D.Berwanger}和\textit{Ł.Kaiser}，J.Logic Lang.Inf.19，No.4，395--412（2010；Zbl 1203.91033）
全文： 内政部

参考文献：

[1] Arnold，A.和Walukiewicz，I.（2007）。非确定性过程的非确定性控制器。《逻辑与自动机》（第2卷）。阿姆斯特丹大学出版社·Zbl 1215.93082号
[2] Berwanger，D.（2010年）。无限协调游戏。在逻辑学和博弈与决策理论基础（LOFT9）中，逻辑和博弈中的文本。阿姆斯特丹大学出版社，即将出版。
[3] Chandra A.K.、Kozen D.、Stockmeyer L.J.（1981）《交替》。ACM杂志28:114–133·兹伯利0473.68043 ·数字对象标识代码：10.1145/322234.32243
[4] Chatterjee，K.、Doyen，L.、Henzinger，T.A.和Raskin，J.-F.（2006）。不完全信息下欧米伽规则博弈的算法。第20届计算机科学逻辑国际研讨会（CSL）论文集，第15届EACSL年会，LNCS第4207卷（第287-302页）。斯普林格·Zbl 1225.91012号
[5] Gale D.，Stewart F.M.（1953）《完美信息的无限游戏》。数学研究年鉴28:245–266·Zbl 0050.14305号
[6] Gastin P.，Sznajder N.，Zeitoun M.（2009）《良好连接架构的分布式合成》。系统设计中的形式化方法34:215–237·Zbl 1180.68056号 ·doi:10.1007/s10703-008-0064-7
[7] Henzinger，T.A.（2005）《系统设计和验证中的游戏》。《第十届理性与知识理论问题会议记录》（TARK-2005）。
[8] Kupferman，O.和Vardi，M.Y.（2001）。综合分布式系统，第16届IEEE计算机科学逻辑年会论文集。
[9] McNaughton R.（1993）有限图上的无限游戏。纯粹与应用逻辑年鉴65:149-184·Zbl 0798.90151号 ·doi:10.1016/0168-0072（93）90036-D
[10] Peterson，G.L.和Reif，J.H.（1979年）。多人交替。《第20届计算机科学基础年度研讨会论文集》（FOCS 1979），IEEE（第348-363页）。
[11] Pnueli，A.和Rosner，E.（1989）。关于反应模的合成。第16届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录（第179-190页）。ACM出版社·Zbl 0686.68015号
[12] Ramadge P.J.，Wonham W.M.（1987）一类离散事件过程的监督控制。SIAM日志控制与优化25:206–230·Zbl 0618.93033号 ·doi:10.1137/0325013
[13] Reif J.（1984）不完全信息两层博弈的复杂性。计算机与系统科学杂志29:274–301·兹比尔0551.90100 ·doi:10.1016/0022-0000（84）90034-5
[14] Rudie，K.和Wonham，W.M.（1990年）。通信过程的监督控制。L.Logrippo、R.L.Probert和H.Ural（编辑），《1990年PSTV会议记录》，第十届协议规范、测试和验证国际研讨会（第243-257页）。霍兰德北部·Zbl 0746.93061号
[15] Rudie K.，Wonham W.M.（1992）《全球思考，局部行动：分散的监管控制》。IEEE自动控制汇刊37:1692-1708·Zbl 0778.93002号 ·数字对象标识代码：10.1109/9.173140
[16] 托马斯·W（1995）。关于无限对策中策略的综合。在STACS 95中，计算机科学理论方面研讨会论文集（第1-13页）·Zbl 1379.68233号
[17] Tripakis S.（2004）正规语言分散观察和控制的不确定问题。信息处理信函90:21–28·Zbl 1178.68327号 ·doi:10.1016/j.ipl.2004.01.004
[18] Walukiewicz，I.（2004年）。背景为游戏的风景。第15届IEEE计算机科学逻辑研讨会论文集（LICS 2004）（第356–366页）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。