×

PRISM-游戏

swMATH ID: 12934
软件作者: 陈、陶璐;Forejt,Vojtěch;公司;玛尔塔·奎亚特科夫斯卡;戴维·帕克;西马提斯,艾斯蒂斯
描述: PRISM-games:随机多层游戏的模型检查器。我们提出了PRISM-games,一种用于随机多层博弈的模型检查器,它支持具有竞争或合作行为的概率系统的建模、自动验证和策略合成。模型用反应模块语言的概率扩展来描述,属性用rPATL表示,rPADL用运算符扩展了众所周知的逻辑ATL,以推理概率、各种基于报酬的度量、数量属性和精确边界。该工具基于概率模型检查器PRISM,得益于其现有的用户界面和模拟器,同时为随机游戏添加了新的模型检查算法,以及合成最佳玩家策略、探索或导出策略以及验证指定策略下的其他属性的功能。
主页: http://www.prismmodelchecker.org/games/
相关软件: 棱镜;主旨;MCMAS公司;GAVS公司;EAGLE公司;摩卡;普拉林;MCMAS-SLK公司;Uppaal公司;UPPAAL TIGA公司;风暴;github;欧氏瓣心内膜炎;CPLEX公司;PGSolver公司;NuSMV公司;通过;QUASY公司;GAMUT公司;
引用于: 30文件
全部的 前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 马尔塞洛·玛丽亚·贝尔萨尼
1 巴勃罗·卡斯特罗。
1 佩德罗·鲁宾·达吉尼奥
1 克里斯蒂安·德内特
1 拉米罗·德马西
1 克劳斯·阿格博士
1 罗尔夫·德雷克斯勒
1 Julia艾森特
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 Konikowska,比塔
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 张若翰

按年份列出的引文