Reasoning about equilibria in game-like concurrent systems

Julian Gutierrez, Paul Harrenstein, Michael Wooldridge. Reasoning about equilibria in game-like concurrent systems. Annals of Pure and Applied Logic, 168(2):373-403, 2017. [doi]

Abstract

Abstract is missing.