- Article
Mean-Payoff Games with ω-Regular Specifications
- Julian Gutierrez,
- Thomas Steeples and
- Michael Wooldridge
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...

