Publications

2020

• J. Gutierrez, M. Najib, G. Perelli, and M. Wooldridge. Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games. In Artificial Intelligence, Volume 287, October 2020
  [PDF]

2019

• J. Gutierrez, M. Najib, G. Perelli, and M. Wooldridge. Equilibrium Design for Concurrent Games. In Proceedings of the 30th International Conference on Concurrency Theory (CONCUR-2019), Amsterdam, the Netherlands, August 2019.
  [PDF]
• J. Gutierrez, M. Najib, G. Perelli, and M. Wooldridge. On Computational Tractability for Rational Verification. In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-2019), Macao, China, August 2019.
  [PDF]

2018

• J. Gutierrez, M. Najib, G. Perelli, and M. Wooldridge. EVE: A Tool for Temporal Equilibrium Analysis. In Proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis (ATVA-2018), Los Angeles, October 2018.
  [PDF]