朱利安·古铁雷斯;保罗·哈伦斯坦;朱塞佩·佩雷利;迈克尔·伍尔德里奇 纳什均衡和互刺激不变性。 (英语) Zbl 1442.68142号 日志。方法计算。科学。 15,第3号,第32号论文,49页(2019年).MSC公司:68问题85 03B70号 第68页第42页 91年10月 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《日志》。方法计算。科学。15,第3号,第32号论文,49页(2019年;Zbl 1442.68142) 全文: 内政部 arXiv公司
朱利安·古铁雷斯;保罗·哈伦斯坦;朱塞佩·佩雷利;迈克尔·伍尔德里奇 纳什均衡和互刺激不变性。 (英语) Zbl 1442.68143号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第17条,第16页(2017年)。MSC公司:68问题85 03B70号 第68页第42页 91年10月 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,LIPIcs——莱布尼茨国际程序。通知。85,第17条,第16页(2017;Zbl 1442.68143) 全文: 内政部
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 从模型检查到平衡检查:用于理性验证的反应性模块。 (英语) Zbl 1420.68129号 Artif公司。智力。 248, 123-157 (2017).MSC公司:60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。248123-157(2017;Zbl 1420.68129) 全文: 内政部 链接
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 关于类游戏并发系统中平衡的推理。 (英语) Zbl 1400.03057号 Ann.纯粹应用。逻辑 168,第2号,373-403(2017). 审核人:马丁·兰格(卡塞尔) MSC公司:03B70号 03B44号 91A40型 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Ann.Pure Appl。逻辑168,No.2,373--403(2017;Zbl 1400.03057) 全文: 内政部