棱镜游戏

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


zbMATH中的参考文献(引用于,1标准件)

显示第1到16个结果,共16个。
按年份排序(引用)

  1. Bersani,Marcello M.;Soldo,Matteo;Menghi,Claudio;Pelliccione,Patrizio;Rossi,Matteo:追求——从机器人环境规范到控制器综合(2020)
  2. 弗雷泽,道格拉斯;贾昆塔,鲁本;霍夫曼,露丝;爱尔兰,默里;米勒,爱丽丝;诺曼,盖钦:自主系统控制器综合的协作模型(2020)
  3. 古铁雷斯,朱利安;纳吉布,穆罕默德;佩雷利,朱塞佩;伍尔德里奇,迈克尔:自动时间均衡分析:多人游戏的验证和综合(2020)
  4. 古铁雷斯,朱利安;哈伦斯坦,保罗;佩雷利,朱塞佩;伍尔德里奇,迈克尔:纳什均衡和互模拟不变性(2019)
  5. Jamroga,Wojciech;Malvone,Vadim;Murano,Aniello:自然战略能力(2019年)
  6. Basset,N.;Kwiatkowska,M.;Wiltsche,C.:多目标随机博弈的组合策略综合(2018)
  7. Julian Gutierrez;Paul Harrenstein;Wooldridge,Michael:关于类博弈并发系统中均衡的推理(2017)
  8. Hahn,Ernst Moritz;Schewe,Sven;Turrini,Andrea;Zhang,Lijun:求解2.5人对等博弈的综合策略改进和递归算法(2017)
  9. Chen,Taoloue;Primiero,Giuseppe;Raimondi,Franco;Rungta,Neha:一种基于计算的加权多元论逻辑(2016)
  10. Svoreňová,Mária;Kwiatkowska,Marta:随机博弈的定量验证和策略综合(2016)
  11. Dräger,Klaus;Forejt,Vojtěch;Kwiatkowska,Marta;Parker,David;Ujma,Mateusz:概率系统的许可控制器综合(2015)
  12. Dehnert,Christian;Gebler,Daniel;Volpato,Michele;Jansen,David N.:关于概率系统的抽象(2014)
  13. Chen,Taoloue;Forejt,Vojtěch;Kwiatkowska,Marta;Parker,David;Simaitis,Aistis:PRISM games:随机多人博弈的模型检验器(2013)
  14. Kwiatkowska,Marta:普适计算定量验证的进展(2013)
  15. Kwiatkowska,Marta;Parker,David:概率系统的自动验证和策略综合(2013)
  16. Piterman,Nir(编辑);Smolka,Scott A.(编辑):用于系统构建和分析的工具和算法。第19届国际会议,TACAS 2013,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2013,意大利罗马,2013年3月16日至24日。诉讼(2013年)