"A Tool for the Automated Verification of Nash Equilibria in Concurrent Games."

Alexis Toumi, Julian Gutierrez, Michael J. Wooldridge (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics