"Rational Verification: From Model Checking to Equilibrium Checking."

Michael J. Wooldridge et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics