| Rational verification: game-theoretic verification of multi-agent systems A Abate, J Gutierrez, L Hammond, P Harrenstein, M Kwiatkowska, M Najib, ... Applied Intelligence 51 (9), 6569-6584, 2021 | 24 | 2021 |
| Cooperative concurrent games J Gutierrez, S Kowara, S Kraus, T Steeples, M Wooldridge Artificial Intelligence 314, 103806, 2023 | 19 | 2023 |
| Equilibria for games with combined qualitative and quantitative objectives J Gutierrez, A Murano, G Perelli, S Rubin, T Steeples, M Wooldridge Acta Informatica 58 (6), 585-610, 2021 | 18 | 2021 |
| Mean-payoff games with ω-regular specifications T Steeples, J Gutierrez, M Wooldridge Proceedings of the 20th International Conference on Autonomous Agents and …, 2021 | 10 | 2021 |
| Local equilibria in logic-based multi-player games J Gutierrez, B Harrenstein, T Steeples, M Wooldridge Autonomous Agents and Multi-Agent Systems (AAMAS 2018), 2018 | 4 | 2018 |
| Mean-Payoff Games with ω-Regular Specifications J Gutierrez, T Steeples, M Wooldridge Games 13 (1), 19, 2022 | 2 | 2022 |
| Characterising and verifying the core in concurrent multi-player mean-payoff games (full version) J Gutierrez, AW Lin, M Najib, T Steeples, M Wooldridge arXiv preprint arXiv:2311.15883, 2023 | 1 | 2023 |
| Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games J Gutierrez, AW Lin, M Najib, T Steeples, M Wooldridge 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 2024 | | 2024 |
| Quantitative rational verification T Steeples University of Oxford, 2023 | | 2023 |
| Local Equilibria in Iterated Boolean Games T Steeples University of Oxford, 2017 | | 2017 |
