Follow
Thomas Steeples
Thomas Steeples
DPhil student, University of Oxford
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
Cooperative concurrent games
J Gutierrez, S Kraus, M Wooldridge
AAMAS, 2019
92019
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
62021
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
62021
Local equilibria in logic-based multi-player games
J Gutierrez, BP Harrenstein, T Steeples, M Wooldridge
International Foundation for Autonomous Agents and Multiagent Systems, 2018
22018
Mean-Payoff Games with ω-Regular Specifications
T Steeples, J Gutierrez, M Wooldridge
Proceedings of the 20th International Conference on Autonomous Agents and …, 2021
12021
Mean-Payoff Games with ω-Regular Specifications
J Gutierrez, T Steeples, M Wooldridge
Games 13 (1), 19, 2022
2022
Mean-Payoff Games with 𝜔-Regular Specifications
T Steeples, J Gutierrez, M Wooldridge
2021
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–8