Thomas Steeples

According to our database, Thomas Steeples authored at least 7 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games.

Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version).

Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge

CoRR, 2023

Cooperative concurrent games.

Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael J. Wooldridge

Artif. Intell., 2023

2022

Mean-Payoff Games with ω-Regular Specifications.

Julian Gutierrez, Thomas Steeples, Michael J. Wooldridge

Games, 2022

2021

Rational verification: game-theoretic verification of multi-agent systems.

Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge

Appl. Intell., 2021

Equilibria for games with combined qualitative and quantitative objectives.

Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge

Acta Informatica, 2021

2018

Local Equilibria in Logic-Based Multi-Player Games.

Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael J. Wooldridge

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018