Local Equilibria in Logic-Based Multi-Player Games. - Julian Gutierrez 001; Paul Harrenstein; Thomas Steeples; Michael J. Wooldridge (AAMAS, 2018)

Equilibria for games with combined qualitative and quantitative objectives. - Julian Gutierrez 001; Aniello Murano; Giuseppe Perelli; Sasha Rubin; Thomas Steeples; Michael J. Wooldridge (Acta Informatica, 2021)

Rational verification: game-theoretic verification of multi-agent systems. - Alessandro Abate; Julian Gutierrez 001; Lewis Hammond; Paul Harrenstein; Marta Kwiatkowska; Muhammad Najib; Giuseppe Perelli; Thomas Steeples; Michael J. Wooldridge (Appl. Intell., 2021)

Mean-Payoff Games with ω-Regular Specifications. - Julian Gutierrez 001; Thomas Steeples; Michael J. Wooldridge (Games, 2022)

Cooperative concurrent games. - Julian Gutierrez 001; Szymon Kowara; Sarit Kraus; Thomas Steeples; Michael J. Wooldridge (Artif. Intell., 2023)

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version). - Julian Gutierrez 001; Anthony W. Lin; Muhammad Najib; Thomas Steeples; Michael J. Wooldridge (CoRR, 2023)

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. - Julian Gutierrez 001; Anthony W. Lin; Muhammad Najib; Thomas Steeples; Michael J. Wooldridge (CSL, 2024)