Toumi, Alexis

1 publications

AAAI 2016 Rational Verification: From Model Checking to Equilibrium Checking Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi