Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games.

Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge

Browse the full CSL paper archive.