Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)

Julian Gutierrez, Anthony W. Lin, Muhammad Najib +2

Concurrent multi-player mean-payoff games are important models for systems of agents with individual, non-dichotomous preferences. Whilst these games have been extensively studied…