棱镜游戏

棱镜对策：随机多人博弈的模型检验器。本文提出了一种随机多人博弈的模型检验器PRISM games，它支持具有竞争或合作行为的概率系统的建模、自动验证和策略综合。模型用反应模语言的概率扩展来描述，其性质用rPATL表示，rPATL扩展了著名的逻辑ATL，使其能够推理概率、各种基于奖励的度量、定量性质和精确的界限。该工具基于概率模型检查器PRISM，受益于其现有的用户界面和模拟器，同时添加了用于随机游戏的新模型检查算法，以及用于综合最佳玩家策略、探索或导出策略以及验证特定策略下其他属性的功能。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献22条,1标准件)

显示第1到第20个结果，共22个。
按年份排序(引用)
  1. 恩沃尔森，瑟伦；詹森，马蒂亚斯·克劳斯；拉森，金·古德斯兰德；玛丽加德，安德斯；Srba，Jiří：通过抽象依赖图验证多人随机博弈（2021）
  2. 奎亚特科夫斯卡，玛尔塔；诺曼，格钦；帕克，大卫；Santos，Gabriel:并发随机系统的自动验证（2021）
  3. 贝尔萨尼，马塞洛M。；索尔多，马特奥；孟吉，克劳迪奥；佩利西翁，帕特里齐奥；Rossi，Matteo：追求——从机器人环境规范到控制器综合（2020）
  4. 弗雷泽，道格拉斯；贾昆塔，鲁本；霍夫曼，露丝；爱尔兰，默里；米勒，爱丽丝；Norman，Gethin:自治系统控制器综合的协作模型（2020）
  5. 古铁雷斯，朱利安；纳吉布，穆罕默德；佩雷利，朱塞佩；伍尔德里奇，迈克尔：自动时间均衡分析：多人游戏的验证和综合（2020）
  6. 贾姆罗加，沃伊切赫；科尼科夫斯卡，比塔；库皮耶夫斯基，达米安；彭泽克，Wojciech:战略能力的多值验证（2020）
  7. Křetínský，一月；拉姆南图，伊曼纽尔；斯里文斯基，亚历山大；Weininger，Maximilian:简单随机博弈算法的比较（2020）
  8. Zaw，Hein Htoo；Hlaing，Swe Zin：使用PRISM游戏验证自学游戏的游戏策略（2020）
  9. 古铁雷斯，朱利安；哈伦斯坦，保罗；佩雷利，朱塞佩；伍尔德里奇，迈克尔：纳什均衡和互模拟不变性（2019）
  10. 贾姆罗加，沃伊切赫；马尔文，瓦迪姆；穆拉诺，阿尼埃洛：自然战略能力（2019）
  11. 巴塞特，N。；奎亚特科夫斯卡，M。；Wiltsche，C.：多目标随机博弈的组合策略综合（2018）
  12. Drechsler，Rolf（编辑）：正式系统验证。最新技术和未来趋势（2018）
  13. 古铁雷斯，朱利安；哈伦斯坦，保罗；伍尔德里奇，迈克尔：关于博弈型并发系统中均衡的推理（2017）
  14. 哈恩，恩斯特莫里茨；舍韦，斯文；图里尼，安德里亚；张立军：《求解2.5人对等博弈的综合策略改进与递归算法》（2017）
  15. 陈韬略；普里米耶罗，朱塞佩；雷蒙迪，佛朗哥；Rungta，Neha:一种基于计算的加权多元论逻辑（2016）
  16. 斯沃雷·奥娃，Mária；Kwiatkowska，Marta:随机博弈的定量验证与策略综合（2016）
  17. 阿格尔博士，克劳斯；弗雷特，沃伊特ěch；奎亚特科夫斯卡，玛尔塔；帕克，大卫；Ujma，Mateusz:概率系统的容许控制器综合（2015）
  18. 德赫内特，基督徒；基布勒，但以理；沃尔帕托，米歇尔；Jansen，David N.：关于概率系统的抽象（2014）
  19. 陈韬略；弗雷特，沃伊特ěch；奎亚特科夫斯卡，玛尔塔；帕克，大卫；Simaitis，Aistis:PRISM games:随机多人游戏的模型检查器（2013）
  20. Kwiatkowska，Marta:普适计算定量验证的进展（2013）