Reasoning about Equilibria in Game-Like Concurrent Systems.

Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge

Browse the full KR paper archive.