×
乌里·法伦贝格;Juhl，Line公司;Larsen，Kim G。;吉·斯尔巴

多权自动机中的能量博弈。 （英语） Zbl 1350.68168号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会，南非约翰内斯堡，2011年8月31日至9月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23282-4/pbk）。计算机科学讲义6916，95-115（2011）。
概要：能源游戏最近吸引了很多关注。这些是在有限加权自动机上进行的游戏，关注的是受累积权重边界约束的无限运行的存在性，例如，仅允许资源始终可用（非负累积权重）但不超过给定最大容量的行为。我们将能源游戏扩展到多权重和参数化设置，允许我们用多个定量方面对系统进行建模。我们提出了Petri网和多权重自动机之间以及不同类型的多权重自变量之间的约简，并确定了单层和双层博弈的新复杂性和（不）可判定性结果。我们还研究了在时间自动机环境下多权能量对策扩展的可处理性。
关于整个系列，请参见[Zbl 1229.68001号].

引用于19文件

MSC公司：

65年第68季度 形式语言和自动机
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
91A43型 涉及图形的游戏
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，Lect。注释计算。科学。6916，95-115（2011；Zbl 1350.68168）
全文： 内政部 哈尔

参考文献：

[1] Alur，R.，La Torre，S.，Pappas，G.J.：加权时间自动机中的最优路径。理论计算机科学318（3），297–322（2004）·Zbl 1068.68080号 ·doi:10.1016/j.tcs.2003.10.38
[2] Atig，M.F.，Habermehl，P.：论Yen的Petri网路径逻辑。收录：Bournez，O.，Potapov，I.（编辑）RP 2009。LNCS，第5797卷，第51-63页。斯普林格，海德堡（2009）·Zbl 1260.68255号 ·doi:10.1007/978-3642-04420-57
[3] Behrmann，G.，Fehnker，A.，Hune，T.，Larsen，K.G.，Pettersson，P.，Romijn，J.M.T.，Vaandrager，F.W.：定价时间自动机的最小成本可达性。作者：Di Benedetto，M.D.，Sangiovanni-Vincentelli，A.L.（编辑）HSCC 2001。LNCS，第2034卷，第147-161页。斯普林格，海德堡（2001）·Zbl 0991.68037号 ·doi:10.1007/3-540-45351-2_15
[4] Bouyer，P.，Fahrenberg，U.，Larsen，K.G.，Markey，N.：能量约束下具有观测者的时间自动机。在：Johansson，K.H.，Yi，W.（编辑）HSCC，第61–70页。ACM，纽约（2010年）·Zbl 1361.68135号 ·doi:10.1145/1755952.1755963
[5] Bouyer，P.，Fahrenberg，U.，Larsen，K.G.，Markey，N.，Srba，J.：具有能量约束的加权时间自动机中的无限运行。收录于：Cassez，F.，Jard，C.（编辑）FORMATS 2008。LNCS，第5215卷，第33-47页。斯普林格，海德堡（2008）·Zbl 1171.68524号 ·doi:10.1007/978-3-540-85778-54
[6] Brázdil，T.，Jančar，P.，Kučera，A.：带状态的扩展向量加法系统的可达性博弈。摘自：Abramsky，S.、Gavoille，C.、Kirchner，C.、Meyer auf der Heide，F.、Spirakis，P.G.（编辑）ICALP 2010。LNCS，第6199卷，第478–489页。斯普林格，海德堡（2010）·Zbl 1288.68179号 ·doi:10.1007/978-3-642-14162-140
[7] Chakrabarti，A.，de Alfaro，L.，Henzinger，T.A.，Stoelinga，M.：资源接口。收录：Alur，R.，Lee，I.（编辑）EMSOFT 2003。LNCS，第2855卷，第117–133页。斯普林格，海德堡（2003）·doi:10.1007/978-3-540-45212-6_9
[8] Chaloupka，J.：具有状态的二维向量加法系统博弈的Z可达性问题，见P.in:Kučera，A.，Potapov，I.（eds.）RP 2010。LNCS，第6227卷，第104-119页。斯普林格，海德堡（2010）·Zbl 1287.68128号 ·doi:10.1007/978-3642-15349-57
[9] Chatterjee，K.，Doyen，L.，Henzinger，T.A.，Raskin，J.-F.：广义平均值与能量博弈。摘自：2010年FSTTCS会议记录。LIPIcs，第8卷，第505-516页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆富尔信息（Leibniz-Zentrum fuer Informatik）（2010年）·Zbl 1245.68090号
[10] Chatterjee，K.，Doyen，L.：能源平价游戏。摘自：Abramsky，S.、Gavoille，C.、Kirchner，C.、Meyer auf der Heide，F.、Spirakis，P.G.（编辑）ICALP 2010。LNCS，第6199卷，第599–610页。斯普林格，海德堡（2010）·Zbl 1288.68160号 ·doi:10.1007/978-3-642-14162-1_50
[11] Degorre，A.，Doyen，L.，Gentilini，R.，Raskin，J.-F.，Toruñczyk，S.：信息不完整的能源和米恩回报游戏。收录：Dawar，A.，Veith，H.（编辑）CSL 2010。LNCS，第6247卷，第260-274页。斯普林格，海德堡（2010）·Zbl 1287.91028号 ·doi:10.1007/978-3642-15205-422
[12] Ehrenfeucht，A.，Mycielski，J.：平均回报游戏的位置策略。国际博弈论杂志8（2），109-113（1979）·Zbl 0499.90098号 ·doi:10.1007/BF01768705
[13] Esparza，J.：Petri网问题的可决定性和复杂性——简介。收录：Reisig，W.，Rozenberg，G.（编辑）APN 1998。LNCS，第1491卷，第374–428页。斯普林格，海德堡（1998）·兹伯利0926.68087 ·数字对象标识代码：10.1007/3-540-65306-6_20
[14] Kosaraju，S.R.，Sullivan，G.：在多项式时间内检测动态图中的循环。摘自：《第20届ACM计算机理论研讨会论文集》（STOC 1988），第398-406页。ACM，纽约（1988）
[15] Minsky，M.L.：计算：有限和无限机器。普伦蒂斯·霍尔（Prentice-Hall），恩格伍德悬崖（Englewood Cliffs）（1967年）·Zbl 0195.02402号
[16] Yen，H.C.：确定某些Petri网路径存在性的统一方法。信息与计算96（1），119-137（1992）·Zbl 0753.68078号 ·doi:10.1016/0890-5401（92）90059-O
[17] Zwick，U.，Paterson，M.：图上平均回报游戏的复杂性。计算机科学理论158（1&2），343–359（1996）·兹伯利0871.68138 ·doi:10.1016/0304-3975（95）00188-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。