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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

33 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games'. Together they form a unique fingerprint.

Computer Science

INIS