Wooldridge, M.; Gutierrez, J.; Harrenstein, P.; Marchioni, E.; Perelli, G.; Toumi, A. Rational Verification: From Model Checking to Equilibrium Checking. AAAI 2016, 30.