欧氏瓣心内膜炎 swMATH ID: 31990 软件作者: 穆罕默德·纳吉布 描述: EVE(Equilibrium Verification Environment)是一种形式化的验证工具,用于自动分析表示为多层博弈的并发和多智能体系统的时间均衡特性。使用简单反应模块语言(SRML)对系统进行建模,将其作为独立系统组件(游戏中的玩家/代理)的集合,假设这些组件具有使用线性时态逻辑(LTL)公式表示的目标。特别是,EVE检查此类系统中纳什均衡的存在,并可用于自动进行理性综合和验证。 主页: http://eve.cs.ox.ac.uk/ 源代码: https://github.com/eve-mas/eve-parity 相关软件: MCMAS公司;普拉林;MCMAS-SLK公司;PRISM-游戏;EAGLE公司;摩卡;棱镜;github;GAMUT公司;点;要点;赌博;z3(零3);伊塞斯;CPLEX公司;GAVS公司;PGSolver公司;LTL2BA公司;Uppaal公司;VerICS版本 引用于: 7文件 更多出版物: http://eve.cs.ox.ac.uk/publications网站 全部的 前5名15位作者引用 5 朱利安·古铁雷斯 5 迈克尔·J·伍尔德里奇。 4 朱塞佩·佩雷利 三 穆罕默德·纳吉布 1 弗朗西斯科·贝拉迪内利 1 保罗·哈伦斯坦 1 科瓦拉(Szymon Kowara) 1 萨里特·克劳斯 1 Kwiatkowska,Marta Z。 1 阿莱西奥·洛穆西奥 1 阿尼埃洛·穆拉诺 1 格钦·诺曼 1 萨沙·鲁宾 1 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 1 托马斯·斯蒂普尔斯 4篇连载文章中引用 三 人工智能 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 计算机科学中的逻辑方法 在3个字段中引用 7 计算机科学(68至XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文