M. Wooldridge, J. Gutierrez, P. Harrenstein, E. Marchioni, G. Perelli, and A. Toumi, “Rational Verification: From Model Checking to Equilibrium Checking”, AAAI, vol. 30, no. 1, Mar. 2016.