research
∙
01/30/2023
Rational verification and checking for Nash and subgame-perfect equilibria in graph games
We study two natural problems about rational behaviors in multiplayer no...
share
research
∙
03/16/2022
Subgame-perfect Equilibria in Mean-payoff Games (journal version)
In this paper, we provide an effective characterization of all the subga...
research
∙
02/17/2022
The Complexity of SPEs in Mean-payoff Games
We establish that the subgame perfect equilibrium (SPE) threshold proble...
research
∙
07/15/2021
On the Complexity of SPEs in Parity Games
We study the complexity of problems related to subgame-perfect equilibri...
research
∙
01/26/2021