普拉林 swMATH ID: 12912 软件作者： R.Brenguier先生 描述： PRALINE：在并发游戏中计算纳什均衡的工具。我们介绍了PRALINE，它是第一个在图上游戏中计算纳什均衡的工具。我们考虑并发游戏：在每个步骤中，玩家都会独立选择自己的动作。可以有任意数量的玩家。玩家的偏好由将状态映射为整数的支付函数给出，玩家的目标是最大化其支付的上限优势；这可以被视为对比奇目标的概括。PRALINE在这些游戏中寻找纯粹的纳什均衡。它可以构建均衡的策略，用户可以与之对抗以测试均衡。我们给出了其实现背后的想法，并给出了其实际应用的示例。 主页： http://rd.springer.com/chapter/10.1007/978-3-642-39799-8_63 相关软件： EAGLE公司;棱镜;PRISM-游戏;MCMAS公司;欧氏瓣心内膜炎;MCMAS-SLK公司;摩卡;GAVS公司;主旨;CPLEX公司;Uppaal公司;风暴;github;GAMUT公司;点;赌博;z3（零3）;Yices公司;PGSolver公司;LTL2BA公司 引用于： 10文件 全部的 前5名21位作者引用 4 朱利安·古铁雷斯 4 迈克尔·J·伍尔德里奇。 三 Marta Z.Kwiatkowska。 2 格钦·诺曼 2 朱塞佩·佩雷利 2 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 2 安德鲁·舒曼 1 帕特里夏·鲍耶 1 罗曼·布伦吉尔 1 保罗·哈伦斯坦 1 科瓦拉（Szymon Kowara） 1 萨里特·克劳斯 1 库兹涅佐夫（Aleksandr Vladimirovich） 1 尼古拉斯·马基 1 穆罕默德·纳吉布 1 科兹兹托夫·潘塞兹 1 马·戈扎塔·拉塔吉 1 托马斯·斯蒂普尔斯 1 马里亚·斯沃雷奥娃 1 Alexis图米 1 米歇尔·乌梅尔斯 全部的 前5名6篇连载文章中引用 2 人工智能 2 计算机科学中的逻辑方法 1 国际博弈论杂志 1 系统设计中的形式化方法 1 欧洲控制杂志 1 国际应用数学与计算机科学杂志 全部的 前5名在6个字段中引用 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 8 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文