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
∙
04/27/2022
Bounds for Synchronizing Markov Decision Processes
We consider Markov decision processes with synchronizing objectives, whi...
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
Subgame-perfect Equilibria in Mean-payoff Games
In this paper, we provide an effective characterization of all the subga...
research
∙
05/02/2019
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version)
We study multiplayer quantitative reachability games played on a finite ...
research
∙
11/17/2018
The Impatient May Use Limited Optimism to Minimize Regret
Discounted-sum games provide a formal model for the study of reinforceme...
research
∙
05/29/2018