"Reasoning about equilibria in game-like concurrent systems."

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