出版物
2020
J、 古铁雷斯,纳吉布先生,佩雷利先生,伍尔德里奇先生。 自动时间均衡分析:多人博弈的验证与综合。 在 人工智能 ,第287卷,2020年10月
[PDF格式]
2019
J、 古铁雷斯,纳吉布先生,佩雷利先生,伍尔德里奇先生。 并发博弈的均衡设计。 在 第30届并发理论国际会议论文集(CONCUR-2019) ,荷兰阿姆斯特丹,2019年8月。
[PDF格式] J、 古铁雷斯,纳吉布先生,佩雷利先生,伍尔德里奇先生。 理性验证的计算可处理性。 在 第28届人工智能国际联席会议论文集(IJCAI-2019) ,中国澳门,2019年8月。
[PDF格式]
2018
J、 古铁雷斯,纳吉布先生,佩雷利先生,伍尔德里奇先生。 EVE:时间均衡分析工具。 在 第16届验证与分析自动化技术国际研讨会论文集(ATVA-2018) ,洛杉矶,2018年10月。
[PDF格式]