"Reasoning about Equilibria in Game-Like Concurrent Systems."

Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics