Reasoning about equilibria in game-like concurrent systems (Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, 2014)

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