×
奎杰珀，沃特;范德波尔（Jaco van de Pol）

计算不完全信息安全博弈的最弱策略。 （英语） Zbl 1234.68259号

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记550592-106（2009）。
总结：雪松反例驱动反链精化（Counter Example Driven Antichain Refinement）是一种新的符号算法，用于计算不完全信息安全博弈的最弱策略。该算法计算逆变反链晶格上的不动点。这里，反变反链是由一个信息集和一个表示关联移动的允许集组成的对上的反链。我们演示了用于表示反音函数的逆变反链的更丰富结构，与用于表示向下闭集集的标准反链相比，如何允许雪松应用比以前算法复杂得多的可控前导步骤。
关于整个系列，请参见[Zbl 1157.68007号].

引用于2文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
91A80型 博弈论的应用

软件：

伙计;反链
PDF格式BibTeX公司 XML格式引用
\textit{W.Kuijper}和\textit{J.van de Pol}，莱克特。注释计算。科学。5505、92--106（2009年；Zbl 1234.68259）
全文： 内政部

参考文献：

[1] Bernet，J.，Janin，D.，Walukiewicz，I.：许可策略：从平价游戏到安全游戏。理论信息学与应用（2008年7月）·Zbl 1090.91514号
[2] Berwanger，D.，Chatterjee，K.，Doyen，L.，Henzinger，T.，Raje，S.：不完全信息下的平价博弈策略构建。收录：van Breugel，F.，Chechik，M.（编辑）CONCUR 2008。LNCS，第5201卷，第325-339页。斯普林格，海德堡（2008）·Zbl 1160.68455号 ·doi:10.1007/978-3-540-85361-9_27
[3] Cassez，F.：部分可观测时间游戏的高效实时算法。格式：Raskin，J.-F.，Thiagarajan，P.S.（编辑）2007。LNCS，第4763卷，第5-24页。斯普林格，海德堡（2007）·Zbl 1141.93377号 ·doi:10.1007/978-3-540-75454-1_3
[4] Chatterjee，K.，Doyen，L.，Henzinger，T.A.，Raskin，J.-F.：不完全信息的欧米伽规则游戏算法。收录：埃西克，Z.（编辑）CSL 2006。LNCS，第4207卷，第287-302页。斯普林格，海德堡（2006）·Zbl 1225.91012号 ·doi:10.1007/11874683_19
[5] de Alfaro，L.，Henzinger，T.A.：接口自动机。摘自：FSE，第109-120页。ACM出版社，纽约（2001）
[6] Kupferman，O.，Piterman，N.，Vardi，M.Y.：非安全成分合成。收录：Ball，T.，Jones，R.B.（编辑）CAV 2006。LNCS，第4144卷，第31-44页。斯普林格，海德堡（2006）·Zbl 1188.68193号 ·数字对象标识代码：10.1007/118179636
[7] Liu，X.，Ramakrishnan，C.R.，Smolka，S.A.：交替不动点的完全局部有效评估（扩展摘要）。收录：Steffen，B.（编辑）TACAS 1998。LNCS，第1384卷，第5页。斯普林格，海德堡（1998）·doi:10.1007/BFb0054161
[8] 马扎拉：无限游戏。收录：Grädel，E.，Thomas，W.，Wilke，T.（编辑）《自动机、逻辑和无限游戏》。LNCS，第2500卷，第23-38页。斯普林格，海德堡（2002）·Zbl 1021.91502号 ·doi:10.1007/3-540-36387-42
[9] Pnueli，A.，Rosner，R.：关于异步反应模块的合成。收录：Ronchi Della Rocca，S.，Ausiello，G.，Dezani-Ciancaglini，M.（编辑）ICALP 1989。LNCS，第372卷，第652-671页。施普林格，海德堡（1989）·Zbl 0686.68015号 ·doi:10.1007/BFb0035790
[10] Ramadge，P.J.，Wonham，W.M.：一类离散事件过程的监督控制。SIAM J.控制优化。 25, 206–230 (1987) ·Zbl 0618.93033号 ·doi:10.1137/0325013
[11] Reif，J.H.：不完全信息两层博弈的复杂性。《计算机与系统科学杂志》29，274–301（1984）·Zbl 0551.90100号 ·doi:10.1016/0022-0000（84）90034-5
[12] Lind Nielsen，J.：巴迪：二元决策图，http://sourceforge.net/projects/buddy
[13] Tirole，J.，Fudenberg，D.：博弈论。麻省理工学院出版社，剑桥（1991）·Zbl 1339.91001号
[14] De Wulf，M.，Doyen，L.，Henzinger，T.A.，Raskin，J.-F.：反链：检查有限自动机普遍性的新算法。收录：Ball，T.，Jones，R.B.（编辑）CAV 2006。LNCS，第4144卷，第17-30页。斯普林格，海德堡（2006）·Zbl 1188.68171号 ·doi:10.1007/11817963_5
[15] De Wulf，M.，Doyen，L.，Raskin，J.-F.：解决不完全信息博弈的格理论。收录：Hespanha，J.P.，Tiwari，A.（编辑）HSCC 2006。LNCS，第3927卷，第153-168页。斯普林格，海德堡（2006）·Zbl 1178.93072号 ·doi:10.1007/11730637_14
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。