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 | 29 | 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 | 19 | 2021 |
Mean-payoff games with ω-regular specifications T Steeples, J Gutierrez, M Wooldridge Proceedings of the 20th International Conference on Autonomous Agents and …, 2021 | 11 | 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 |