PG求解器

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


zbMATH中的参考文献(参考文献29条,第1条标准)

显示第1到第20个结果,共29个。
按年份排序(引用)
  1. 迪斯塔西奥,安东尼奥;穆拉诺,阿尼埃洛;普里尼亚诺,文琴佐;Sorrentino,Loredana:改进平价游戏的实践(2021)
  2. 贝内雷凯蒂,马西莫;戴尔尔巴,丹尼尔;Mogavero,Fabio:奇偶博弈算法的鲁棒最坏情况(2020)
  3. 古铁雷斯,朱利安;纳吉布,穆罕默德;佩雷利,朱塞佩;伍尔德里奇,迈克尔:自动时间均衡分析:多人游戏的验证和综合(2020)
  4. Křetínský,一月;曼塔,亚历山大;Meggendorfer,Tobias:LTL合成中平价博弈求解的语义标记和学习(2019)
  5. 贝内雷凯蒂,马西莫;丹尼尔芭;Mogavero,Fabio:通过优先推广解决平价游戏(2018)
  6. 贝内雷凯蒂,马西莫;戴尔尔巴,丹尼尔;Mogavero,Fabio:平价游戏的延迟推广政策(2018)
  7. Böhm,斯坦尼斯拉夫;贝纳克,雅库布;谢尔科夫斯克,马丁:海迪:快速原型和组合对象(2018)
  8. 克兰,斯约尔德;凯伦,杰伦·J·A。;Willemse,Tim A.C.:平价博弈缩减(2018)
  9. Weiner,Alexander:VLDL可满足性和通过树自动机进行模型检查(2018)
  10. 快来,卡罗;波塞纳托,罗伯托;罗密欧:超时空网络。简单时间网络的一个可处理的推广及其与平均收益博弈的关系(2017)
  11. 哈恩,恩斯特莫里茨;舍韦,斯文;图里尼,安德里亚;张立军:《求解2.5人对等博弈的综合策略改进与递归算法》(2017)
  12. Křetínský,一月;梅根多弗,托拜厄斯;沃尔德曼,克拉拉;Weininger,Maximilian:将Rabin自动机转换为奇偶自动机的索引外观记录(2017)
  13. 迪斯塔西奥,安东尼奥;穆拉诺,阿尼埃洛;佩雷利,朱塞佩;Vardi,Moshe Y.:使用基于自动机的算法求解平价博弈(2016)
  14. 迪特曼,克里斯托夫;克鲁泽,斯蒂芬;Tomescu,Alexandru I.:奇偶对策和多项式时间算法的图运算(2016)
  15. 杰涅夫斯,皮埃尔;拉伊达,纳比勒;施密特,艾伦;Gesbert,Nils:有限树上的有效判定(\mu)-逆演算(2015)
  16. 胡特,迈克尔;郭金焕;Piterman,Nir:拉宾平价博弈指数:其复杂性和近似性(2015)
  17. Keiren,Jeroen J.A.:平价游戏的基准(2015)ioport公司
  18. 舍韦,斯文;特里维迪,阿舒特什;Varghese,Thomas:对称策略改进(2015)
  19. Chebotarev,A.N.:利用自动机逻辑规范的兼容性分析来解决博弈问题(2014)
  20. 弗里德曼,奥利弗;兰格,马丁;Latte,Markus:分支时间逻辑的可满足性博弈(2013)