棱镜游戏

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


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)