Rational verification: game-theoretic verification of multi-agent systems - Abate, A; Gutierrez, J; Hammond, L; Harrenstein, P; Kwiatkowska, M; Najib, M; Perelli, G; Steeples, T; Wooldridge, M (Applied Intelligence, 2021)