PRISM-游戏 swMATH ID: 12934 软件作者： 陈、陶璐；Forejt，Vojtěch；公司；玛尔塔·奎亚特科夫斯卡；戴维·帕克；西马提斯，艾斯蒂斯 描述： PRISM-games：随机多层游戏的模型检查器。我们提出了PRISM-games，一种用于随机多层博弈的模型检查器，它支持具有竞争或合作行为的概率系统的建模、自动验证和策略合成。模型用反应模块语言的概率扩展来描述，属性用rPATL表示，rPADL用运算符扩展了众所周知的逻辑ATL，以推理概率、各种基于报酬的度量、数量属性和精确边界。该工具基于概率模型检查器PRISM，得益于其现有的用户界面和模拟器，同时为随机游戏添加了新的模型检查算法，以及合成最佳玩家策略、探索或导出策略以及验证指定策略下的其他属性的功能。 主页： http://www.prismmodelchecker.org/games/ 相关软件： 棱镜;MCMAS公司;主旨;EAGLE公司;GAVS公司;MCMAS-SLK公司;摩卡;Uppaal公司;UPPAAL TIGA公司;普拉林;欧氏瓣心内膜炎;github;PGSolver公司;NuSMV公司;通过;QUASY公司;风暴;点;GAMUT公司;赌博 引用于： 23出版物 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 PRISM-games：随机多层游戏的模型检查器。 Zbl 1381.68151号陈、陶璐;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯，艾斯蒂斯 2013 全部的 前5名59位作者引用 7 Marta Z.Kwiatkowska。 三 朱利安·古铁雷斯 三 迈克尔·J·伍尔德里奇。 2 陈、陶璐 2 Forejt，Vojtěch公司 2 保罗·哈伦斯坦 2 沃伊切赫·贾姆罗加 2 简·Křetínsk \345] 2 格钦·诺曼 2 朱塞佩·佩雷利 2 马克西米利安·威宁格 1 尼古拉斯·巴塞特 1 马尔塞洛·玛丽亚·贝尔萨尼 1 克里斯蒂安·德内特 1 克劳斯·阿格博士 1 罗尔夫·德雷克斯勒 1 朱莉娅·艾森特罗 1 瑟伦·埃内沃德森 1 道格拉斯·弗雷泽 1 Daniel E.Gebler。 1 鲁本·贾昆塔 1 恩斯特·莫里茨·哈恩 1 斯文·莱恩 1 鲁思·霍夫曼 1 爱尔兰，穆雷 1 大卫·詹森（David N.Jansen）。 1 马蒂亚斯·克劳斯·詹森 1 Edon Kelmendi 1 比塔·科尼科夫斯卡 1 达米安·库皮耶夫斯基 1 金·古德斯特兰·拉森 1 瓦迪姆·马尔文 1 安德斯·马里加德 1 克劳迪奥·蒙吉 1 爱丽丝·安·米勒 1 阿尼埃洛·穆拉诺 1 穆罕默德·纳吉布 1 帕特里齐奥·佩利奇奥内 1 沃伊切赫·彭泽克 1 尼尔·皮特曼 1 朱塞佩·普里米埃罗 1 佛朗哥·雷蒙迪 1 伊曼纽尔·拉姆尼安图 1 罗西（Matteo A.C.Rossi）。 1 内哈·隆塔 1 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 1 斯文·舍韦 1 西马提斯，艾斯蒂斯 1 亚历山大·斯利文斯基 1 斯科特·斯莫尔卡。 1 马蒂奥·索尔多 1 吉·斯尔巴 1 马里亚·斯沃雷奥娃 1 安德烈亚·图里尼 1 马特乌斯·乌玛 1 米歇尔·沃尔帕托 1 克莱门斯·威尔奇 1 Zaw、Hein Htoo 1 张丽君 全部的 前5名10篇连载文章中引用 2 人工智能 2 信息与计算 2 计算的形式方面 2 计算机科学中的逻辑方法 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 系统设计中的形式化方法 1 欧洲控制杂志 1 计算机基础理论 1 计算机科学课堂讲稿 全部的 前5名在6个字段中引用 22 计算机科学（68至XX） 12 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 数学逻辑和基础（03-XX） 4 系统论；控制（93至XX） 2 总体主题；集合（00-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文