Subgame-perfect Equilibria in Mean-payoff Games (journal version)
Computer Science and Game Theory
2024-02-14 v4
Abstract
In this paper, we provide an effective characterization of all the subgame-perfect equilibria in infinite duration games played on finite graphs with mean-payoff objectives. To this end, we introduce the notion of requirement, and the notion of negotiation function. We establish that the plays that are supported by SPEs are exactly those that are consistent with a fixed point of the negotiation function. Finally, we use that characterization to prove that the SPE threshold problem, who status was left open in the literature, is decidable.
Keywords
Cite
@article{arxiv.2203.08546,
title = {Subgame-perfect Equilibria in Mean-payoff Games (journal version)},
author = {Léonard Brice and Marie van den Bogaard and Jean-François Raskin},
journal= {arXiv preprint arXiv:2203.08546},
year = {2024}
}
Comments
arXiv admin note: substantial text overlap with arXiv:2101.10685