出版物
J.Gutierrez、M.Najib、G.Perelli和M.Wooldridge。 理性验证的计算牵引性。 在 第28届国际人工智能联合会议记录(IJCAI-2019) ,中国澳门,2019年8月。 J.Gutierrez、M.Najib、G.Perelli和M.Wooldridge。 自动时间均衡分析:多人游戏的验证和合成。 正在审查中 , 2019. J.Gutierrez、M.Najib、G.Perelli和M.Wooldridge。 EVE:时间均衡分析工具。 在 第十六届自动验证和分析技术国际研讨会会议记录(ATVA-2018) 2018年10月,洛杉矶。