Follow
Thomas Steeples
Thomas Steeples
DPhil student, University of Oxford
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
292021
Cooperative concurrent games
J Gutierrez, S Kowara, S Kraus, T Steeples, M Wooldridge
Artificial Intelligence 314, 103806, 2023
192023
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
192021
Mean-payoff games with ω-regular specifications
T Steeples, J Gutierrez, M Wooldridge
Proceedings of the 20th International Conference on Autonomous Agents and …, 2021
112021
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
42018
Mean-Payoff Games with ω-Regular Specifications
J Gutierrez, T Steeples, M Wooldridge
Games 13 (1), 19, 2022
22022
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
12023
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
The system can't perform the operation now. Try again later.
Articles 1–10