PRISM-游戏 swMATH ID: 12934 软件作者: 陈、陶璐;Forejt,Vojtěch;公司;奎亚特科夫斯卡,玛尔塔;戴维·帕克;西马提斯,艾斯蒂斯 描述: PRISM-games:随机多层游戏的模型检查器。我们提出了PRISM博弈,这是一种用于随机多玩家博弈的模型检查器,它支持具有竞争或合作行为的概率系统的建模、自动验证和策略综合。模型是用反应模块语言的概率扩展来描述的,属性是用rATL来表达的,它用运算符扩展了众所周知的逻辑ATL,以推理概率、各种基于奖励的度量、定量属性和精确边界。该工具基于概率模型检查器PRISM,得益于其现有的用户界面和模拟器,同时为随机游戏添加了新的模型检查算法,以及合成最佳玩家策略、探索或导出策略以及验证指定策略下的其他属性的功能。 主页: http://www.prismmodelchecker.org/games/ 相关软件: 棱镜;要点;MCMAS公司;GAVS公司;摩卡;EAGLE公司;普拉林;MCMAS-SLK公司;Uppaal公司;UPPAAL TIGA公司;风暴;GitHub公司;前夕;CPLEX公司;PGSolver公司;NuSMV公司;通过;QUASY公司;GAMUT公司;点 引用于: 30文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 PRISM-games:随机多层游戏的模型检查器。 Zbl 1381.68151号陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 2013 全部的 前5名被75位作者引用 9 Marta Z.Kwiatkowska。 4 简·Křetínsk 4 格钦·诺曼 4 马克西米利安·威宁格 三 朱利安·古铁雷斯 三 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 三 亚历山大·斯利文斯基 三 迈克尔·J·伍尔德里奇。 2 陈、陶璐 2 Forejt,Vojtěch公司 2 保罗·哈伦斯坦 2 沃伊切赫·贾姆罗加 2 朱塞佩·佩雷利 2 伊曼纽尔·拉姆尼安图 1 拉杰夫·阿鲁尔 1 穆克西特·阿齐姆 1 苏古曼·班萨尔 1 尼古拉斯·巴塞特 1 奥斯伯特·巴斯塔尼 1 Marcelo Maria贝尔萨尼 1 巴勃罗·卡斯特罗。 1 佩德罗·鲁宾·达吉尼奥 1 克里斯蒂安·德内特 1 拉米罗·德马西 1 克劳斯·阿格博士 1 罗尔夫·德雷克斯勒 1 朱莉娅·艾森特罗 1 埃内沃尔森,瑟伦 1 亚历山大·伊万杰里迪斯 1 道格拉斯·弗雷泽 1 Daniel E.Gebler。 1 鲁本·贾昆塔 1 恩斯特·莫里茨·哈恩 1 玛丽·海荷 1 斯文·莱恩 1 鲁思·霍夫曼 1 爱尔兰,穆雷 1 大卫·詹森(David N.Jansen)。 1 尼尔斯·詹森 1 马蒂亚斯·克劳斯·詹森 1 基绍尔州佐提穆鲁甘 1 塞巴斯蒂安·荣格斯 1 Joost-Pieter卡托恩 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 Zaw、Hein Htoo 1 张丽君 1 张若涵 全部的 前5名10篇连载文章中引用 三 信息与计算 2 人工智能 2 计算的形式方面 2 计算机科学中的逻辑方法 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 系统设计中的形式化方法 1 欧洲控制杂志 1 计算机基础理论 1 计算机科学课堂讲稿 全部的 前5名在6个字段中引用 27 计算机科学(68至XX) 18 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 数学逻辑和基础(03-XX) 5 系统论;控制(93至XX) 三 运筹学、数学规划(90-XX) 2 总体主题;集合(00-XX) 按年份列出的引文