PG求解器

奇偶对策解算器的PGSolver集合。在实践中解决平价博弈。奇偶对策是具有完全信息和无限持续时间的两人博弈,在时间逻辑的自动机理论和决策过程(有效性和模型检验)中有着重要的应用。在这篇文章中,我们研究解决平价对策的实际问题。主要贡献是对如何在实践中有效地解决平价博弈提出了一个建议:我们提出了一个通用的求解器,它将优化与任何现有的平价博弈算法相结合,而这些算法只在博弈的某些部分被调用,而这些算法不能用更简单的方法更快地求解。在上述应用领域的一系列基准测试游戏上对该方法进行了实证评估,结果表明使用该方法可以大大加快求解过程。作为一个副作用,我们得到了令人惊讶的观察,齐隆卡的递归算法是实践中最好的奇偶对策解算器。


zbMATH参考文献(参考 23篇文章 引用,1标准件)

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. Beneregetti,Massimo;Dell'Erba,Daniele;Mogavero,Fabio:平价游戏的延迟推广政策(2018)
  2. 推广活动(2018年,贝内尔巴,贝内尔巴;贝内尔巴,2018年)
  3. Böhm,Stanislav;Beránek,Jakub;üurkovský,Martin:Haydi:快速原型和组合对象(2018)
  4. 克兰,斯约尔德;凯伦,杰伦J.A.;威勒姆斯,蒂姆A.C.:平价游戏减少(2018年)
  5. 卡罗,科明;波塞纳托,罗伯托;里兹,罗密欧:超时空网络。简单时间网络的一个可处理的推广及其与平均收益博弈的关系(2017)
  6. Hahn,Ernst Moritz;Schewe,Sven;Turrini,Andrea;Zhang,Lijun:求解2.5人对等博弈的综合策略改进和递归算法(2017)
  7. 迪斯塔西奥,安东尼奥;穆拉诺,阿尼埃洛;佩雷利,朱塞佩;瓦迪,莫斯伊:《使用基于自动机的算法求解奇偶性博弈》(2016)
  8. Dittmann,Christoph;Kreutzer,Stephan;Tomescu,Alexandru I.:奇偶对策和多项式时间算法的图操作(2016)
  9. Genevès,Pierre;Layaïda,Nabil;Schmitt,Alan;Gesbert,Nils:有限树上的converse有效判定(\mu)-微积分(2015)
  10. Huth,Michael;Kuo,Jim Huan Pu;Piterman,Nir:平价博弈的拉宾指数:复杂性和近似性(2015)
  11. Keiren,Jeroen J.A.:平价游戏的基准(2015)ioport公司
  12. Schewe,Sven;Trivedi,Ashutosh;Varghese,Thomas:对称战略改进(2015)
  13. Chebotarev,A.N.:利用自动机逻辑规范的兼容性分析来解决博弈问题(2014)
  14. Friedmann,Oliver;Lange,Martin;Latte,Markus:分支时间逻辑的可满足性博弈(2013)
  15. Hoffmann,Philipp;Luttenberger,Michael:在GPU上解决平价游戏(2013)
  16. Friedmann,Oliver;Lange,Martin:平价博弈求解的两个局部策略迭代方案(2012)
  17. 劳伦特.多恩;拉斯金,让-弗朗索瓦:不完全信息博弈:理论与算法(2011)
  18. Friedmann,Oliver:最新确定性策略迭代算法的指数下界(2011)
  19. 弗里德曼,奥利弗:《奇偶对策的递归算法需要指数时间》(2011)
  20. 布尔系统验证(Willplotise,2011);Welplore,Wesperge,2011