A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
Alexis Toumi‚ Julian Gutierrez and Michael Wooldridge
Address
Cali‚ Colombia
Edition
October 29−31‚ 2015‚ Proceedings
Editor
Martin Leucker‚ Camilo Rueda‚ and Frank D. Valencia
Journal
Theoretical Aspects of Computing − ICTAC 2015 − 12th International Colloquium
Pages
583–594
Publisher
Lecture Notes in Computer Science. Springer 2015
Volume
9399
Year
2015