棱镜游戏

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