Rational Verification: From Model Checking to Equilibrium Checking
Michael Wooldridge‚ Julian Gutierrez‚ Paul Harrenstein‚ Enrico Marchioni‚ Giuseppe Perelli and Alexis Toumi
Journal
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence
Pages
123−157
Volume
248
Year
2016