Gutierrez, Julian; Steeples, Thomas; Wooldridge, Michael J. - In: Games 13 (2022) 1, pp. 1-37
Multi-player mean-payoff games are a natural formalism for modelling the behaviour of concurrent and multi-agent systems with self-interested players. Players in such a game traverse a graph, while attempting to maximise a (mean-)payoff function that depends on the play generated. As with all...