[Bre13]
Romain Brenguier.
PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games.
In Proc. 25th International Conference on Computer Aided Verification (CAV'13), volume 8044 of LNCS, pages 890-895, Springer.
2013.
[bib]
|
Notes:
The original publication is available at link.springer.com.
|
Links:
[Google]
[Google Scholar]
|