PGSolver公司 swMATH ID: 14051 软件作者: 奥利弗·弗里德曼;马丁·兰格 描述: 奇偶游戏解算器的PGSolver集合。在实践中解决平价游戏。奇偶博弈是一种具有完美信息和无限持续时间的双人博弈,在时间逻辑的自动机理论和决策过程(有效性和模型检查)中具有重要应用。在本文中,我们研究了求解平价博弈的实际方面。主要贡献是建议如何在实践中有效地求解奇偶博弈:我们提出了一个通用的求解器,它将优化与任何现有的奇偶博弈算法相结合,而这些算法仅用于无法用更简单的方法更快求解的博弈部分。通过对上述应用领域中的一系列基准测试游戏的实证评估,表明使用此方法大大加快了求解过程。作为副作用,我们得到了一个令人惊讶的观察结果,即Zielonka的递归算法是实践中最好的奇偶博弈解算器。 主页: https://github.com/tcsprojects/pgsolver 源代码: https://github.com/tcsprojects/pgsolver 相关软件: Oink公司;条纹;mCRL2型;自旋蛋白;github;现场;摩卡;拉比尼泽;BEEM公司;PRISM-游戏;主旨;XPath(XPath);MC队列;VMC公司;伙计;增量CCS;西尔文;LTSmin公司;OCaml公司;斯卡拉 引用于: 41文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 在实践中解决平价游戏。 Zbl 1258.68077号奥利弗·弗里德曼;马丁·兰格 2009 全部的 前5名79位作者引用 7 奥利弗·弗里德曼 4 马西莫·贝内雷切蒂 4 丹尼尔·德尔尔巴 4 法比奥·莫加维罗 4 Tim A.C.Willemse。 3 Křetínský,简 3 马丁·兰格 3 托拜厄斯·梅根多夫 3 汤姆·范迪克 2 安东尼奥·迪·斯塔西奥 2 伯恩德·芬克贝纳 2 迈克尔·R·A·胡特。 2 阿尼埃洛·穆拉诺 2 朱塞佩·佩雷利 2 舍韦,斯文 2 克拉拉·沃尔德曼 2 马克西米利安·威宁格 1 啊,帕特里克 1 雅库布·贝拉内克 1 乌鸦·贝特纳 1 斯坦尼斯拉夫·博姆 1 莫里斯·布吕诺格 1 克里斯蒂安·卡鲁德。 1 Chebotarev,Anatoli N。 1 科宁,诺琳 1 卡洛·科明 1 斯乔德·克兰恩 1 埃里克·P·德文克。 1 马克·德内克 1 沃尔克·迪克特 1 扬·狄瑟 1 克里斯托夫·迪特曼 1 劳伦特·多恩 1 加兹达,Maciej W。 1 皮埃尔·杰奈夫耶斯 1 尼尔斯·盖斯伯特 1 朱利安·古铁雷斯 1 克里斯托弗·哈恩 1 恩斯特·莫里茨·哈恩 1 菲利普·霍夫曼。 1 贾娜·霍夫曼 1 亚历山大·文森特·霍普 1 桑杰·贾恩 1 杰伦·J·A·凯伦。 1 Bakhadyr M.库萨诺夫。 1 斯蒂芬·克鲁泽 1 曼弗雷德·库夫莱特纳 1 Kuo、Jim Huan-Pu 1 鲁本·拉波尔 1 马库斯拿铁 1 纳比尔·拉伊达 1 李伟 1 Oebele Lizzenga 1 迈克尔·卢滕伯格 1 亚历山大·曼塔 1 穆罕默德·纳吉布 1 尼尔·皮特曼 1 贝斯·普洛格 1 罗伯托·波塞纳托 1 文森佐·普里格纳诺 1 让-弗朗索瓦·拉斯金 1 罗密欧·里兹 1 垃圾,鲍勃 1 扬尼克·希洛 1 阿兰·施密特 1 洛雷达纳·索伦蒂诺 1 弗兰克·斯蒂芬 1 什尔科夫斯克,马丁 1 莫里斯·比克。 1 亚历山德鲁·伊昂·托梅斯库 1 阿舒托什·特里维迪 1 安德烈亚·图里尼 1 谢夫·范·卢 1 莫西·亚亚科夫·瓦尔迪 1 托马斯·瓦尔盖塞 1 亚历山大·韦内特 1 韦塞林克,J.W。 1 迈克尔·J·伍尔德里奇。 1 张丽君 全部的 前5名14篇连载文章中引用 4 信息与计算 3 计算机科学中的逻辑方法 2 信息学报 2 国际计算机科学基础杂志 1 人工智能 1 SIAM计算机杂志 1 理论计算机科学 1 数学编程。A系列B系列 1 控制论与系统分析 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 限制条件 1 ACM计算逻辑事务 1 RAIRO公司。理论信息学及其应用 在5个字段中引用 37 计算机科学(68至XX) 29 博弈论、经济学、金融和其他社会和行为科学(91-XX) 8 数学逻辑和基础(03-XX) 3 组合数学(05-XX) 2 运筹学、数学规划(90-XX) 按年份列出的引文