帕特里夏·鲍耶;萨米·贾齐里;尼古拉斯·马基 加权时间博弈中的价值问题。 （英语） Zbl 1374.68254号 Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，311-324（2015）。 总结：加权计时游戏是一种带有额外定量信息的计时游戏，这些信息表示能量消耗。为达到目标而优化权重是一个自然的问题，已经研究了十年。一般来说，最优策略的存在性是不可判定的，只有非常有限的一类博弈才可以计算出最优权重和近似最优策略。本文证明了加权时间对策中的值问题是不可判定的。然后，我们引入了加权时间博弈的一大子类（上面的不可判定性证明适用于此），并提供了一种算法来计算此类博弈中值的任意近似值。据我们所知，这是一类不可判定的加权时间对策的第一近似方案。关于整个系列，请参见[Zbl 1329.68017号]. 引用于2评论引用于三文件 MSC公司： 65年第68季度 形式语言和自动机 91A43型 涉及图形的游戏 91A80型 博弈论的应用 关键词：定时游戏;不可判定性;近似 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，LIPIcs——莱布尼茨国际程序。通知。42、311--324（2015；Zbl 1374.68254） 全文： 内政部