PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games
Romain Brenguier
Address
Saint Petersburg‚ Russia
Book Title
Proceedings of the 23th International Conference on Computer Aided Verification (CAV'13)
Editor
Sharygina‚ Natasha and Veith‚ Helmut
Month
jul
Pages
890−895
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
8044
Year
2013