×

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文件
全部的 前5名

79位作者引用

7 奥利弗·弗里德曼
4 马西莫·贝内雷切蒂
4 丹尼尔·德尔尔巴
4 法比奥·莫加维罗
4 蒂姆·威廉姆斯。
简·Křetínsk
马丁·兰格
托拜厄斯·梅根多夫
汤姆·范·迪克
2 安东尼奥·迪·斯塔西奥
2 伯恩德·芬克贝纳
2 迈克尔·R·A·胡特。
2 阿尼埃洛·穆拉诺
2 朱塞佩·佩雷利
2 斯文·舍韦
2 克拉拉·沃尔德曼
2 马克西米利安·威宁格
1 阿胖,帕特里克
1 Jakub,Beránek
1 乌鸦·贝特纳
1 斯坦尼斯拉夫·博姆
1 莫里斯·布吕诺格
1 克里斯蒂安·卡鲁德。
1 Chebotarev,Anatoli N。
1 科宁,诺琳
1 卡洛·科明
1 斯乔德·克兰恩
1 埃里克·P·德文克。
1 马克·德内克
1 沃尔克·迪克特
1 扬·狄瑟
1 克里斯托夫·迪特曼
1 劳伦特·多恩
1 马西耶·加兹达。
1 皮埃尔·杰奈夫耶斯
1 尼尔斯·盖斯伯特
1 朱利安·古铁雷斯
1 克里斯托弗·哈恩
1 恩斯特·莫里茨·哈恩
1 菲利普·霍夫曼(Philipp H.W.Hoffmann)。
1 贾娜·霍夫曼
1 亚历山大·文森特·霍普
1 桑杰·贾恩
1 Jeroen J.A.Keiren。
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 Jean-François拉斯金
1 罗密欧·里兹
1 鲍勃·鲁本斯
1 扬尼克·希洛
1 阿兰·施密特
1 洛雷达纳·索伦蒂诺
1 弗兰克·斯蒂芬
1 什尔科夫斯克,马丁
1 莫里斯·比克。
1 亚历山德鲁·伊昂·托梅斯库
1 阿舒托什特里维迪
1 安德里亚·图里尼
1 谢夫·范·卢
1 Moshe Ya’akov瓦尔迪
1 托马斯·瓦尔盖塞
1 亚历山大·韦内特
1 韦塞林克,J.W。
1 迈克尔·J·伍尔德里奇。
1 张丽君

按年份列出的引文