www.prismmodelchecker.org
[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]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications