×

兹马思-数学第一资源

具有定量计算距离的分枝对策。(英语) Zbl公司 07270972
摘要:我们给出了一个计算标记跃迁系统间分枝距离的一般方法。我们将用于定义这些距离的定量博弈转化为其他路径构建博弈,这些博弈符合定量博弈理论中的方法。然后,我们展示了所有常见的分支距离类型,如何解决由此产生的路径构建游戏。最后给出了一种计算线性时间分支时间谱中所有分支距离的方法。
理学硕士:
68度 计算理论
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 阿鲁尔,拉吉耶夫;库库比提斯,科斯塔斯;哈布瓦克斯,尼古拉;亨辛格,托马斯A。;何佩欣;尼克林,泽维尔;奥利弗罗,阿尔弗雷多;斯法基斯,约瑟夫;尤文,塞吉奥,混合系统的算法分析,理论。计算机。科学,138,1,3-34(1995)
[2] 阿鲁尔,拉吉耶夫;时间自动机理论,理论。计算机。科学,126,2183-235(1994)·Zbl公司 803.68071
[3] 阿夫尼,伙计;《使加权包容可行:基于模拟和抽象的启发式方法》(Maciej,Koutny;乌利多夫斯基,艾瑞克,同意。同意,选择。笔记计算。《科学》,第7454卷(2012年),斯普林格·韦拉格,84-99·Zbl公司 1364.68242
[4] 阿齐兹,阿德南;桑瓦尔,库穆德;辛格哈尔,维吉安;Brayton,Robert K.,模型检验连续时间马尔可夫链,ACM Trans。计算机。日志,1,162-170(2000)·Zbl公司 1365.68313
[5] 鲍尔,塞巴斯蒂安S。;法伦堡,乌利;朱尔,线;拉森,金G。;勒盖,阿克塞尔;Thrane,Claus,加权模态转换系统的定量精化(Murlak,Filip;Sankowski,Piotr,MFC。MFCS,选择。笔记计算。科学,第6907卷(2011年),斯普林格·韦拉格,60-71·Zbl公司 1343.68150
[6] 鲍尔,塞巴斯蒂安S。;法伦堡,乌利;朱尔,线;拉森,金G。;勒盖,阿克塞尔;特拉恩,克劳斯,加权模态转换系统,形式。方法系统。第42、2193-220页(2013年)·Zbl公司 1291.68246
[7] 鲍尔,塞巴斯蒂安S。;法伦堡,乌利;勒盖,阿克塞尔;Thrane,Claus,《一般定量规范理论与模式》,(美国赫希,爱德华A。;卡伦ä基,朱哈尼;麻风病患者ö, 阿托;普里卢茨基,米哈伊尔,CSR。CSR,选择。笔记计算。科学,第7353卷(2012年),斯普林格·韦拉格,18-30·Zbl公司 1360.68576
[8] 布耶,帕特里夏;法伦堡,乌利;古德兰·拉森,金;马基,尼古拉斯;吉隆坡ří, 带能量约束的加权时间自动机中的无限运行(Cassez,Franck;贾德,克劳德,格式。格式,选择。笔记计算。《科学》,第5215卷(2008年),斯普林格·韦拉格,第33-47页·Zbl公司 1171.68524
[9] 布里海伊,托马斯;吉勒茨,吉尔;哈达德,阿克塞尔;Monmege,Benjamin,求解总收益博弈和最小成本可达博弈的伪多项式迭代算法,Acta Inform.,54,1,85-125(2017)·Zbl公司 1362.68203
[10] 比格,约金;Jø恩森,肯尼斯·伊尔克;吉隆坡ří, TAPAAL:时间弧Petri网的编辑、仿真器和验证器(刘志明;拉文,安德斯P.,阿特瓦。阿特瓦,莱克特。笔记计算。科学,第5799卷(2009年),斯普林格·韦拉格,84-89
[11] Č厄恩ý, 帕沃;亨辛格,托马斯A。;Radhakrishna,Arjun,模拟距离,理论。计算机。科学,413,1,21-35(2012)·Zbl公司 1234.68253
[12] 查特吉,克莉什南杜;多恩,劳伦特;亨辛格,托马斯A.,《定量语言》,ACM翻译。计算机。日志,11,4(2010)·Zbl公司 1351.68155
[13] 查特吉,克莉什南杜;亨辛格,托马斯A。;奥托普,一月;Velner,Yaron,Quantitative fair simulation games,Inf.Comput.,254143-166(2017年)·Zbl公司 1370.68165
[14] 德阿尔法罗,卢卡;费拉,马可;亨辛格,托马斯A。;马朱姆达尔,鲁帕克;斯托琳加,玛丽ëlle,模型检验贴现时间属性,理论。计算机。《科学》,345,1139-170(2005)·Zbl公司 1079.68062
[15] 德阿尔法罗,卢卡;费拉,马可;斯托琳加,玛丽ë线性和分支系统度量,IEEE Trans。软。《工程学》,第35期,第258-273页(2009年)
[16] 德阿尔法罗,卢卡;亨辛格,托马斯A。;Majumdar,Rupak,贴现系统理论中的未来,(Baeten,Jos C。M、 。;Karel Lenstra,一月;鹦鹉,约阿希姆;Woeginger,Gerhard J.,ICALP。ICALP,选择。笔记计算。科学,第2719卷(2003年),斯普林格·韦拉格,1022-1037·Zbl公司 1039.68087
[17] 德夏奈,约西;古普塔,维涅特;贾加迪桑,拉达;帕南加登,Prakash,标记马尔可夫过程的度量,理论。计算机。科学,318,323-354(2004)·Zbl公司 1068.68093
[18] 德夏奈,乔斯ée;拉维奥莱特,弗兰çois;Tracol,Mathieu,《概率过程的近似分析》,(QEST(2008),IEEE计算机学会),264-273
[19] 迪金格拉,维希什;如何用策略迭代法求解具有平均收益的大规模确定性对策(Lenzini,Luciano;Cruz,Rene L.,价值工具。VALUETOOLS,ACM Int.Conf.Proc.,第180卷(2006),ACM),第12页
[20] 多恩,劳伦特;亨辛格,托马斯A。;勒盖,阿克塞尔;č科维ć, Dejan,时序电路的鲁棒性,(Gomes,Luís;霍门科,维克托;费尔南德斯,乔ão M.,ACSD(2010),IEEE计算机协会,77-84
[21] 《博弈论在形式化理论的完备性问题中的应用》,范达姆。数学,49129-141(1961)·Zbl公司 96.24303
[22] 埃伦费赫特,安德泽伊;梅西埃尔斯基,简,平均回报博弈的位置策略,国际期刊。博弈论,8109-113(1979)·Zbl公司 499.90098
[23] 法伦堡,乌利;Křet公司ínsk公司ý, 简;勒盖,阿克塞尔;Traonouez,Louis-Marie,《定量规范的组成》(Lanese,Ivan;马德兰,埃里克,法科。法克斯,莱克。笔记计算。科学,第8997卷(2014年),斯普林格·韦拉格,306-324·Zbl公司 1398.68339
[24] 法伦堡,乌利;Křet公司ínsk公司ý, 简;勒盖,阿克塞尔;Traonouez,Louis Marie,《定量规范的组成》,软计算,22,4,1139-1158(2018)·Zbl公司 1398.68339
[25] 法伦堡,乌利;拉森,金G。;《时间逻辑中加权克里普克结构的定量表征》,计算机。通知,29,6+,1311-1324(2010)·Zbl公司 1413.68073
[26] 法伦堡,乌利;Legay,Axel,模态事件时钟自动机的鲁棒规范理论,(Bauer,Sebastian S。;Raclet,Jean Baptiste,合身。FIT,EPTCS,第87卷(2012年)),第5-16页·Zbl公司 1433.68214
[27] 法伦堡,乌利;Legay,Axel,《模态转换系统的一般定量规范理论》,Acta Inform.,51,5,261-295(2014)·Zbl公司 1360.68585
[28] 法伦堡,乌利;Legay,Axel,定量线性时间分支时间谱,理论。计算机。《科学》,538,54-69(2014年)·Zbl公司 1359.68191
[29] 法伦堡,乌利;Legay,Axel,行为规范理论的线性时间分支时间谱(Steffen,Bernhard;拜尔,克里斯特尔;范登品牌,马克;埃德尔,约翰;欣琪,迈克;玛格丽亚,提兹亚娜,索菲姆。沙发,莱特。笔记计算。科学,第10139卷(2017年),斯普林格·韦拉格,49-61·Zbl公司 1433.68213
[30] 法伦堡,乌利;行为规范理论的线性时间分支时间谱,J。日志。代数方法计划,110(2020)·Zbl公司 1433.68214
[31] 法伦堡,乌利;勒盖,阿克塞尔;Quaas,Karin,使用定量博弈计算分支距离,(Hierons,Robert M。;Mosbah,Mohamed,ICTAC。ICTAC,莱克特。笔记计算。《科学》,第11884卷(2019年),斯普林格·韦拉格,第59-75页·Zbl公司 07142669
[32] 法伦堡,乌利;勒盖,阿克塞尔;Tharne,Claus,定量线性时间分支时间谱,(Chakraborty,Superatik;库马尔,阿米特,FSTTCS。FSTTCS,LIPIcs,第13卷(2011年),Schloss Dagstuhl-Leibniz Zentrum fuer Informatik),第103-114页·Zbl公司 1246.68153
[33] Fra公司ï不锈钢é, 罗兰,苏尔奎斯分类系统è公共关系部。科学。阿尔杰大学ér。《代数数学》,第135-182页(1954年)·Zbl公司 68.24302
[34] 法国änzle,马丁;Herde,Christian,HySAT:混合系统有界模型检验的有效证明引擎。方法系统。Des.,30,3,179-198(2007年)·Zbl公司 1116.68048
[35] 弗雷希,戈兰;勒格尔尼奇,科拉斯;顿兹é, 亚历山德拉;科顿,斯科特;雷,拉贾尔希;勒贝特尔,奥利维尔;里帕多,鲁道夫;吉拉德,安托万;当,曹;Maler,Oded,SpaceEx:混合系统的可扩展验证(Gopalakrishnan,Ganesh;卡迪尔,沙兹,卡夫。卡夫,莱克特。笔记计算。《科学》,第6806卷(2011年),斯普林格·韦拉格,379-395
[36] 加德,纪尧姆;石灰,迪迪埃;马格宁,摩根;分析,罗密萨,时间;拉贾马尼,斯里拉姆K.,CAV。卡夫,莱克特。笔记计算。科学,第3576卷(2005年),斯普林格·韦拉格,418-423·Zbl公司 1081.68618
[37] 吉尔摩,斯蒂芬;Hillston,Jane,《PEPA工作台:支持基于过程代数的性能建模方法的工具》(Haring,Gü中间;科蒂斯、加布里埃尔、CPE。CPE,选择。笔记计算。科学,第794卷(1994年),斯普林格·韦拉格,353-368
[38] 吉拉德,安托万;Pappas,George J.,离散和连续系统的近似度量,IEEE Trans。自动驾驶。控制,52,5782-798(2007)·Zbl公司 1366.93032
[39] 格罗特,简·弗里索;范德拉格,弗里茨W.,《结构化操作语义学和互模拟作为同余》,计算机基础,100,2202-260(1992)·Zbl公司 752.68053
[40] 汉尼希,汉斯.迈克尔.带时间弧的位置/过渡网络分析及其在间歇过程控制中的应用(马桑,马科.阿蒙,ATPN。ATPN,选择。笔记计算。科学,第691卷(1993年),斯普林格·韦拉格,282-299
[41] 汉森,汉斯;关于时间和可靠性的推理逻辑,形式。Asp。计算机,6,5,512-535(1994)·Zbl公司 820.68113
[42] 轩尼诗,马修;《不确定性与并发性的代数定律》,J。ACM,32,1137-161(1985年)·Zbl公司 629.68021
[43] 亨辛格,托马斯A。;何佩欣;Howard,Howard,HYTECH:混合动力系统的模型检验器,国际J。软。工具技术。Transf.,1,1-2,110-122(1997年)·Zbl公司 1060.68603
[44] 亨辛格,托马斯A。;马朱姆达尔,鲁帕克;帕布,维纳亚克,量化时间系统之间的相似性,(佩特森,保罗;易,王,格式。格式,选择。笔记计算。科学,第3829卷(2005年),斯普林格·韦拉格,226-241·Zbl公司 1175.68281
[45] 亨辛格,托马斯A。;尼克林,泽维尔;斯法基斯,约瑟夫;Yovine,Sergio,实时系统的符号模型检查,Inf.Comput.,111,2193-244(1994)·Zbl公司 806.68080
[46] 亨辛格,托马斯A。;Otop,Jan,从模型检查到模型测量,(D'Argenio,Pedro R。;梅尔格拉蒂,赫恩á北卡罗来纳州,同意。同意,选择。笔记计算。科学,第8052卷(2013年),斯普林格·韦拉格,273-287·Zbl公司 1390.68428
[47] 简·希尔斯顿:《性能建模的组合方法》(1996),剑桥大学出版社·Zbl公司 1080.68003
[48] Koymans,Ron,用度量时态逻辑指定实时属性,实时系统,2,4,255-299(1990)
[49] Kwiatkowska,玛尔塔Z。;诺曼,格钦;派克,大卫,用PRISM进行概率符号模型检验:一种混合方法,(Katoen,Joost Pieter;史蒂文斯,珀迪塔,塔卡斯。塔卡斯,莱克特。笔记计算。科学,第2280卷(2002年),斯普林格·韦拉格,52-66·Zbl公司 1043.68576
[50] 拉森,金G。;法伦堡,乌利;Tharne,Claus,加权转移系统的度量:公理化和复杂性,理论。计算机。科学,412,28,3358-3369(2011年)·Zbl公司 1216.68191
[51] 拉森,金G。;佩特松,保罗;易,王,简言之乌帕,国际期刊。软。工具技术。Transf.,1,1-2,134-152(1997年)·Zbl公司 1060.68577
[52] 拉森,金G。;Skou,Arne,通过概率测试的相互模拟,(POPL(1989),ACM出版社,344-352·Zbl公司 756.68035
[53] 马丁,唐纳德A.,博雷尔确定性,安。数学,102,2363-371(1975)·Zbl公司 336.02049
[54] 梅林,菲利普M。;Farber,David J.,通信协议的可恢复性理论研究的意义,IEEE Trans。《公社》,第24、9、1036-1043页(1976年)·Zbl公司 362.68096
[55] 塞加拉,罗伯托;林奇,南希A.,《概率过程的概率模拟》,(Jonsson,Bengt;鹦鹉,约阿希姆,同意。同意,选择。笔记计算。斯普林格出版社,1994年,第496卷
[56] 《马尔可夫链数值解导论》(1994),普林斯顿大学出版社·Zbl公司 821.65099
[57] 斯特林,科林,过程的模态和时间逻辑,(莫勒,法隆;Birtwistle,Graham M.,班夫高阶研讨会。班夫高阶研讨会,莱克特。笔记计算。科学,第1043卷(1995年),斯普林格·韦拉格,149-237
[58] 塞拉恩,克劳斯;法伦堡,乌利;张国荣,张国荣,等.加权跃迁系统的定量分析。日志。代数程序,797689-703(2010)·Zbl公司 1204.68137
[59] 范布雷格尔,弗朗克,度量语义学导论:编程和规范语言的操作和指称模型,理论。计算机。科学,258,1-2,1-98(2001)·Zbl公司 973.68133
[60] 范布雷格尔,弗兰克;沃雷尔,詹姆斯,概率转移系统的行为伪度量,理论。计算机。科学,331,1151-142(2005)·Zbl公司 1070.68109
[61] 范布雷格尔,弗兰克;《概率自动机上计算双相似伪度量的复杂性》,(范布雷格尔,弗朗克;卡什菲,伊勒姆;帕拉米德西,卡图西亚;拉滕,简,心灵的地平线。向Prakash Panangaden致敬。心灵的视野。向Prakash Panangaden致敬,莱克特。笔记计算。《科学》,第8464卷(2014年),斯普林格·韦拉格,191-213·Zbl公司 1407.68267
[62] 范格拉贝克,Rob J.,《线性时间分支时间谱I》,(Bergstra,Jan A。;庞塞,阿尔班;Smolka,Scott A.,过程代数手册(2001),Elsevier,3-99·Zbl公司 1035.68073
[63] 冯·诺依曼,约翰,数学理论。安,100295-320(1928年)·JFM公司 54.0543.02
[64] 王法恩;莫克,阿洛伊修斯K。;Allen Emerson,E.,《分布式实时系统的符号模型检验》(Woodcock,Jim;戈姆·拉森,彼得,FME。FME,选择。笔记计算。科学,第670卷(1993年),斯普林格·韦拉格,632-651
〔65〕 兹维克,乌里;帕特森,迈克,图上平均报酬博弈的复杂性,理论。计算机。《科学》第158、1和2343-359页(1996年)·Zbl公司 871.68138
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。