×

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出版物
全部的 前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 张丽君

按年份列出的引文