Wooldridge, Michael, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, and Alexis Toumi. 2016. “Rational Verification: From Model Checking to Equilibrium Checking”. Proceedings of the AAAI Conference on Artificial Intelligence 30 (1). https://doi.org/10.1609/aaai.v30i1.9878.