Rational Verification: From Model Checking to Equilibrium Checking.

Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi

Browse the full AAAI paper archive.