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

Alexis Toumi, Julian Gutierrez, Michael J. Wooldridge

Browse the full ICTAC paper archive.