×

价值迭代。 (英语) Zbl 1143.68042号

Grumberg,Orna(编辑)等人,25年的模型检查。历史、成就、观点。柏林:施普林格出版社(ISBN 978-3-540-69849-4/pbk)。计算机科学讲义5000,107-138(2008)。
摘要:我们研究了图上的值迭代算法。这样的算法可以用于确定某些路径的存在(模型检查)、某些策略的存在(游戏解决)和某些事件的概率(性能分析)。我们根据值域(布尔、概率或定量)对算法进行分类;根据图结构(非确定性、概率性或多层);根据路径的期望属性(Borel级别1、2或3);并根据不动点计算的交替深度和收敛速度。
关于整个系列,请参见[Zbl 1139.68003号].

MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)
68兰特 计算机科学中的图论(包括图形绘制)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿鲁尔(Alur,R.)。;Henzinger,T.A。;Kupferman,O.,交替时间时序逻辑,ACM杂志,49,672-713(2002)·Zbl 1326.68181号 ·doi:10.1145/585265.585270
[2] 查克拉巴蒂,A。;de Alfaro,L。;Henzinger,T.A。;Stoelinga,M。;阿鲁尔(Alur,R.)。;Lee,I.,资源接口,嵌入式软件,117-133(2003),海德堡:施普林格
[3] 查特吉(Chatterjee,K.):带有尾部目标的并行游戏。技术报告EECS-2005-1385,加州大学伯克利分校(2005)·Zbl 1225.91008号
[4] Chatterjee,K.,de Alfaro,L.,Henzinger,T.A.:数量并发平价游戏的复杂性。收录于:SODA 2006,第678-687页。ACM-SIAM(2006)·Zbl 1192.68430号
[5] Chatterjee,K.,de Alfaro,L.,Henzinger,T.A.:并发可达性游戏的策略改进。参见:QEST 2006,第291-300页。IEEE(2006)
[6] Chatterjee,K.,Henzinger,T.A.:将随机奇偶性简化为随机平均对博弈。技术报告EECS-2006-140,加州大学伯克利分校(2006)·Zbl 1186.68306号
[7] Henzinger,T.A。;查特吉,K。;杜兰德,B。;Thomas,W.,《随机奇偶博弈的策略改进和随机次指数算法》,STACS 2006,512-523(2006),海德堡:Springer,Heidelberg·Zbl 1136.91322号
[8] Chatterjee,K.,Jurdziánski,M.,Henzinger,T.A.:定量随机平价博弈。收录于:SODA 2004,第121-130页。ACM-SIAM(2004)·Zbl 1318.91027号
[9] Chatterjee,K.,Majumdar,R.,Henzinger,T.A.:随机极限平均游戏在EXPTIME中。技术报告EECS-2006-143,加州大学伯克利分校(2006)·Zbl 1154.91004号
[10] Clarke,E.M.,Grumberg,O.,Peled,D.:模型检查。麻省理工学院出版社(1999)
[11] Condon,A.,《随机博弈、信息和计算的复杂性》,96,203-224(1992)·Zbl 0756.90103号 ·doi:10.1016/0890-5401(92)90048-K
[12] Condon,A.:关于简单随机游戏的算法。In:计算复杂性理论进展。离散数学和理论计算机科学DIMACS系列,第13卷,第51-73页。AMS(1993)·Zbl 0808.90141号
[13] Courcoubetis,C。;Yannakakis,M.,概率验证的复杂性,ACM杂志,42,857-907(1995)·Zbl 0885.68109号 ·doi:10.1145/210332.210339
[14] de Alfaro,L.:概率系统的形式验证。斯坦福大学博士论文(1997)
[15] de Alfaro,L。;Henzinger,T.A。;马朱姆达尔,R。;Baeten,J.C.M。;Lenstra,J.K。;鹦鹉,J。;Woeginger,G.J.,《系统理论中的未来贴现》,自动机,语言和编程,1022-1037(2003),海德堡:斯普林格·Zbl 1039.68087号 ·doi:10.1007/3-5440-45061-0_79
[16] de Alfaro,L。;Majumdar,R.,ω-正则博弈的定量解,《计算机与系统科学杂志》,68,374-397(2004)·Zbl 1093.91001号 ·doi:10.1016/j.jcss.2003.07.009
[17] Emerson,E.A.,Jutla,C.:树自动机、微积分和确定性。收录于:FOCS 1991,第368-377页。IEEE(1991)
[18] Filar,J.,Vrieze,K.:竞争马尔可夫决策过程。施普林格(1997)·Zbl 0934.91002号
[19] Gimbert,H。;Zielonka,W.,折扣无限游戏,但如何以及为什么?,ENTCS,119,3-9(2005)·Zbl 1272.91026号
[20] Jurdziñski,M.,《决定平价游戏的胜利者》,《信息处理快报》,68,119-124(1998)·Zbl 1338.68109号 ·doi:10.1016/S0020-0190(98)00150-1
[21] 尤金斯基,M。;赖歇尔,H。;Tison,S.,《解决平价游戏的小进度措施》,STACS 2000,290-301(2000),海德堡:斯普林格,海德伯格·Zbl 0962.68111号 ·doi:10.1007/3-540-46541-3_24
[22] Jurdziñski,M.、Paterson,M.和Zwick,U.:求解奇偶博弈的确定性次指数算法。收录于:SODA 2006,第117-123页。ACM-SIAM(2006)·Zbl 1192.91013号
[23] Karp,R.M.,有向图中最小循环平均值的表征,离散数学,23,309-311(1978)·Zbl 0386.05032号
[24] 瓦尔迪,M.Y。;库普夫曼,O。;金五世。;Honsell,F。;Miculan,M.,《关于奇偶字自动机的复杂性》,《软件科学和计算结构基础》,276-286(2001),海德堡:斯普林格出版社·Zbl 0978.68077号
[25] 利格特,T.A。;Lippman,S.A.,《具有完美信息和时间平均回报的随机博弈》,SIAM Review,11604-607(1969)·Zbl 0193.19602号 ·doi:10.1137/1011093
[26] Littman,M.L.:顺序决策算法。布朗大学博士论文(1996年)
[27] Madani,O.:确定性MDP的多项式值迭代算法。收录于:UAI 2002,第311-318页。Morgan Kaufmann(2002)
[28] Mertens,J.F。;内曼,A.,《随机博弈》,《国际博弈论杂志》,10,53-66(1981)·Zbl 0486.90096号 ·doi:10.1007/BF01769259
[29] Safra,S.:关于ω-自动机的复杂性。载于:FOCS 1988,第319-327页。IEEE(1988)
[30] Shapley,L.S.,《随机游戏》,《国家科学院学报》,第39期,第1095-1100页(1953年)·Zbl 0051.35805号 ·doi:10.1073/pnas.39.10.1095
[31] 托马斯·W·:语言、自动机和逻辑。收录于:Rozenberg,G.,Salomaa,A.(编辑)《形式语言手册》,第3卷,第389-455页。施普林格(1997)
[32] Tseng,P.,求解与对数(H)成比例的时间内H水平平稳马尔可夫决策问题,运筹学快报,9287-297(1990)·Zbl 0717.90090号 ·doi:10.1016/0167-6377(90)90022-W
[33] Vöge,J。;尤金斯基,M。;爱默生,E.A。;Sistla,A.P.,求解奇偶博弈的离散策略改进算法,计算机辅助验证,202-215(2000),海德堡:施普林格·Zbl 0974.68527号 ·doi:10.1007/10722167_18
[34] Wadge,W.W.:Baire空间的可约性和确定性。加州大学伯克利分校博士论文(1984)
[35] 美国兹威克。;Paterson,M.,《图上平均值游戏的复杂性》,《理论计算机科学》,158343-359(1996)·Zbl 0871.68138号 ·doi:10.1016/0304-3975(95)00188-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。