Reasoning about equilibria in game-like concurrent systems (Annals of Pure and Applied Logic, 2016)

(untitled) - Gutierrez, J; Harrenstein, P; Wooldridge, M