鹰

此软件的关键字
zbMATH中的参考文献, 1标准件 )
古铁雷斯,朱利安;纳吉布,穆罕默德;佩雷利,朱塞佩;伍尔德里奇,迈克尔:自动时间均衡分析:多人游戏的验证和综合(2020) 古铁雷斯,朱利安;哈伦斯坦,保罗;佩雷利,朱塞佩;伍尔德里奇,迈克尔:纳什均衡和互模拟不变性(2019) Jamroga,Wojciech;Malvone,Vadim;Murano,Aniello:自然战略能力(2019年) Gutierrez,Julian;Perelli,Giuseppe;Wooldridge,Michael:反应模块游戏中的不完美信息(2018) Julian Gutierrez;Paul Harrenstein;Wooldridge,Michael:关于类博弈并发系统中均衡的推理(2017) Gutierrez,Julian;Harrenstein,Paul;Wooldridge,Michael:从模型检验到平衡检验:理性验证的反应性模块(2017) Svoreňová,Mária;Kwiatkowska,Marta:随机博弈的定量验证和策略综合(2016) Toumi,Alexis;Gutierrez,Julian;Wooldridge,Michael:并发游戏中纳什均衡的自动验证工具(2015)