Thomas Steeples

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Qualitative And Quantitative

Pure Nash Equilibrium

Top Venues

Acta Informatica

Publications

Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. CSL (2024)
Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael J. Wooldridge
Cooperative Concurrent Games. CoRR (2023)
Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael J. Wooldridge
Cooperative concurrent games. Artif. Intell. 314 (2023)
Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version). CoRR (2023)
Julian Gutierrez, Thomas Steeples, Michael J. Wooldridge
Mean-Payoff Games with ω-Regular Specifications. Games 13 (1) (2022)
Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge
Rational verification: game-theoretic verification of multi-agent systems. Appl. Intell. 51 (9) (2021)
Thomas Steeples, Julian Gutierrez, Michael J. Wooldridge
Mean-Payoff Games with ω-Regular Specifications. AAMAS (2021)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica 58 (6) (2021)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR (2020)
Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael J. Wooldridge
Local Equilibria in Logic-Based Multi-Player Games. AAMAS (2018)