Michael Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi. Rational Verification: From Model Checking to Equilibrium Checking. In Dale Schuurmans, Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. pages 4184-4191, AAAI Press, 2016. [doi]
Abstract is missing.