PGSOVER

奇偶游戏求解器的PGSOVER集合。在实践中解决奇偶博弈。奇偶博弈是完美信息和无限持续时间的2人博弈,在自动机理论和决策过程(有效性和模型检验)中都有重要的应用。在本文中,我们探讨解决奇偶对策的实际方面。主要的贡献是如何有效地解决奇偶博弈在实践中的建议:我们提出了一个通用的解决方案,交织优化与现有的奇偶博弈算法,只调用部分游戏,不能更快地解决更简单的方法。这种方法是从一系列基准测试游戏经验评估从上述应用领域,表明使用这种方法大大加快了解决过程。作为一个副作用,我们得到了令人惊讶的观察,杰隆卡递归算法是最好的奇偶博弈求解器在实践中。


ZBMaX中的参考文献(23篇)1标准条款

显示结果1至20的23。
按年份排序(引文
  1. Benerecetti,马西莫;德尔巴,Daniele;莫加韦罗,法比奥:奇偶游戏的延迟促销政策(2018)
  2. Benerecetti,马西莫;德尔巴,Daniele;莫加韦罗,法比奥:通过优先级提升解决奇偶博弈(2018)
  3. B·HM,斯坦尼斯拉夫;BeaNek,Jakub;乌尔科夫斯克,马丁:Haydi:快速原型和组合对象(2018)
  4. Cranen,Sjoerd;凯伦,Jeroen J. A.;Willemse,Tim A. C.:平价博弈减少(2018)
  5. 科明,Carlo;PaseNATO,罗伯托;RiZi,Romeo:超时态网络。简单时态网络的易处理推广及其与平均支付博弈的关系(2017)
  6. 哈恩,Ernst Moritz;谢威,Sven;Turrini,安德列;张,李骏:解决2.5人奇偶游戏的合成策略改进和递归算法(2017)
  7. 迪斯塔西奥,安东尼奥;穆拉诺,Aniello;Perelli,朱塞佩;瓦迪,Moshe Y.:利用自动机算法求解奇偶博弈(2016)
  8. Dittmann,克里斯托夫;KRuutz,Stephan;托梅斯库,Alexandru I.:奇偶对策和多项式时间算法的图形运算(2016)
  9. Geave-S,彼埃尔;Laya·迪达,Nabil;Schmitt,艾伦;GeSbter,Nils:有效地决定(MU)-有限树上的逆演算(2015)
  10. 胡思,米迦勒;Kuo,Jim Huan Pu;Piterman,NIR:奇偶博弈的拉宾指数:复杂性和近似(2015)
  11. 凯伦,Jeroen J. A.:奇偶游戏的基准(2015)
  12. SeeWe,Sven;Trwitdii,AsutoSh;Valges,托马斯:对称策略改进(2015)
  13. 切博塔雷夫,A. N.:利用自动机的逻辑规范的兼容性分析解决游戏问题(2014)
  14. Friedmann,奥利弗;兰格,马丁;拿铁,Markus:分支时间逻辑的可满足性对策(2013)
  15. 霍夫曼,Philipp;Luttenberger,米迦勒:GPU上求解奇偶博弈(2013)
  16. Friedmann,奥利弗;兰格,马丁:奇偶对策求解的两个局部策略迭代方案(2012)
  17. Doyen,劳伦特;拉斯金,让弗兰弗兰:不完美信息博弈:理论与算法(2011)
  18. Friedmann,奥利弗:最新确定策略迭代算法的指数下界(2011)
  19. Friedmann,奥利弗:奇偶对策的递推算法需要指数时间(2011)
  20. Ploeger,B;Wesselink,J. W.;Willemse,T. A. C.:通过参数化布尔方程系统的实例化验证反应系统(2011)