克里希南德·查特吉;Randour，Mickael米凯尔;Jean-François拉斯金 多维量化目标的战略合成。 （英文） Zbl 1364.68278号 Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，115-131（2012）。 摘要：多维平均值与能量博弈为反应系统的定量研究提供了数学基础，并在新兴的验证与综合定量理论中发挥着核心作用。在这项工作中，我们研究了具有这种多维目标的对策的策略综合问题，以及奇偶条件，这是表示（ω）-正则条件的标准方法。一般来说，这种游戏中的获胜策略可能需要无限的记忆，因为综合最相关的问题是构建有限记忆的获胜策略（如果存在）。我们的主要贡献如下。首先，我们证明了在多维平均对弈和能量博弈以及奇偶目标中，有限内存获胜策略所需内存的紧指数界（匹配上界和下界）。这大大改善了多能量博弈（无奇偶校验）的三指数上界，该上界可以从VASS（带状态的向量加法系统）上博弈的文献结果中得出。其次，我们提出了一个最优的符号和增量算法来计算此类游戏中的有限内存获胜策略（如果存在）。最后，我们给出了策略的有限记忆何时可以用随机性来交换的完整特征。特别地，我们证明了对于一维平均对负奇偶博弈，随机无记忆策略与它们的纯有限记忆对应策略一样强大。关于整个系列，请参见[Zbl 1246.68044号]. 引用于5文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 65年第68季度 形式语言和自动机 91A80型 博弈论的应用 PDF格式BibTeX公司 XML格式引用 \textit｛K.Chatterjee｝等人，Lect。注释计算。科学。7454、115-131（2012年；Zbl 1364.68278） 全文： 内政部 arXiv公司