朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 自动时间均衡分析:多层游戏的验证和合成。 (英语) Zbl 1493.68360号 Artif公司。智力。 287,文章ID 103353,26 p.(2020).MSC公司:68T42型 60年第68季度 91A06型 91A10号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。287,文章ID 103353,26 p.(2020;Zbl 1493.68360) 全文: 内政部 arXiv公司
朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 反应模块游戏中的信息不完整。 (英语) Zbl 1395.68188号 Inf.计算。 261,第4部分,650-675(2018).MSC公司:60年第68季度 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。261,第4部分,650--675(2018;Zbl 1395.68188) 全文: 内政部 链接
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 关于类游戏并发系统中平衡的推理。 (英语) 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) 全文: 内政部