×
Juhl，Line公司;金·古德斯特兰·拉森;Jean-François拉斯金

多权重和参数化能量对策的最优界。 （英语） Zbl 1390.68399号

Liu，Zhiming（编辑）等人，《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，244-255（2013）。
摘要：多重加权能量博弈是两层多重加权博弈，涉及无限次运行的存在性，受运行过程中累积权重的上下限向量的影响。我们假设一个未知的上界，并计算允许无限运行的上界向量集。对于严格上界和弱上界，我们展示了如何通过使用先前工作的结果来构造该集，包括Valk和Jantzen给出的求向上闭集的最小元素集的算法。此外，我们考虑了一些转移权重未知的能量博弈，并展示了如何使用相同的算法找到合适的权重集。
关于整个系列，请参见[Zbl 1269.68023号].

引用于12文件

MSC公司：

65年第68季度 形式语言和自动机
65年第68季度 算法和问题复杂性分析
91A05型 2人游戏
91A80型 博弈论的应用

关键词：

两层多重加权对策;加权博弈自动机;无限游程的存在性
PDF格式BibTeX公司 XML格式引用
\textit{L.Juhl}等人，Lect。注释计算。科学。8051244-255（2013年；兹比尔1390.68399）
全文： DOI程序

参考文献：

[1] Bouyer，P.，Fahrenberg，U.，Larsen，K.G.，Markey，N.：能量约束下带观测器的时间自动机。在：第13届ACM混合系统国际会议：计算与控制（HSCC 2010），第61–70页。ACM（2010）·Zbl 1361.68135号 ·doi:10.1145/1755952.1755963
[2] 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
[3] 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
[4] 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
[5] 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
[6] 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
[7] Chatterjee，K.、Doyen，L.、Henzinger，T.A.、Raskin，J.F.：广义Mean-payoff和能源博弈。In:IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010）。LIPIcs，第8卷，第505-516页。达格斯图尔宫-莱布尼兹·泽特鲁姆·福尔·Informatik（2010）·Zbl 1245.68090号
[8] Degorre，A.，Doyen，L.，Gentilini，R.，Raskin，J.-F.，Toruñczyk，S.：信息不完整的能源和米恩回报游戏。收录：Dawar，A.，Veith，H.（编辑）CSL 2010。LNCS，第6247卷，第260-274页。施普林格，海德堡（2010）·兹比尔1287.91028 ·doi:10.1007/978-3642-15205-422
[9] Fahrenberg，U.，Juhl，L.，Larsen，K.G.，Srba，J.：多权重自动机中的能源游戏。在：Cerone，A.，Pihlajasaari，P.（编辑）ICTAC 2011。LNCS，第6916卷，第95-115页。斯普林格，海德堡（2011）·Zbl 1350.68168号 ·doi:10.1007/978-3-642-23283-1_9
[10] Valk，R.，Jantzen，M.：向量集的剩余及其在Petri网可判定性问题中的应用。收录：Rozenberg，G.（编辑）APN 1984。LNCS，第188卷，第234–258页。斯普林格，海德堡（1985）·Zbl 0545.68051号 ·文件编号：10.1007/3-540-15204-0_14
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。