From model checking to equilibrium checking: reactive modules for rational verification (Artificial Intelligence, 2017)

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