
PRALINE
 Referenced in 8 articles
[sw12912]
 PRALINE: A tool for computing Nash equilibria in concurrent games. We present PRALINE, which ... first tool to compute Nash equilibria in games played over graphs. We consider concurrent games ... Büchi objectives. PRALINE looks for pure Nash equilibria in these games. It can construct...

EAGLE
 Referenced in 8 articles
[sw31989]
 tool for the automated verification of Nash equilibria in concurrent games. Reactive Modules ... analytical concept for Reactive Modules Games is Nash equilibrium. In this paper, we describe...

NIRA3
 Referenced in 3 articles
[sw08671]
 improved MATLAB package for finding Nash equilibria in infinite games. A powerful method for computing ... Nash equilibria in constrained, multiplayer games is created when the relaxation algorithm...

POGTGolog
 Referenced in 3 articles
[sw32303]
 POGTGolog programs in terms of Nash equilibria, and we then specify a POGTGolog interpreter that ... computes one of these Nash equilibria...

EVE
 Referenced in 4 articles
[sw31990]
 checks for the existence of Nash equilibria in such systems and can be used...

Game Theory Explorer
 Referenced in 3 articles
[sw12784]
 algorithms then compute all Nash equilibria of the game after a mouseclick. In tutorial fashion...

ChoiceGAPs
 Referenced in 1 article
[sw20612]
 other situations. We define multiplayer Nash equilibrium for such programs  but because they require ... that strong equilibria can capture all Nash equilibria. We prove a host of complexity (intractability...

Nashpy
 Referenced in 1 article
[sw32772]
 library implements the following algorithms for Nash equilibria on 2 player games: Support enumeration; Best...

LemkeHowson
 Referenced in 1 article
[sw22505]
 function for computing mixed Nash equilibria in bimatrix games. Matlab Central File Exchange, 2013. This ... function computes a sample mixed strategy Nash equilibrium in a bimatrix game. This function implements...

SOS
 Referenced in 1 article
[sw37535]
 optimality) and a noncooperative one (Nash equilibria...

PathAVI
 Referenced in 1 article
[sw23744]
 applications in friction contact and Nash Equilibria. PathAVI is a general purpose solver, and freely...

DTA
 Referenced in 4 articles
[sw35454]
 Computing dynamic user equilibria on largescale networks with software implementation. Dynamic user equilibrium ... road travelers engage in a noncooperative Nashlike game with departure time and route...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

GAVS
 Referenced in 9 articles
[sw00323]
 Reasoning on the properties of computer systems can...

Kronecker
 Referenced in 119 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LANCELOT
 Referenced in 310 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MetaGame
 Referenced in 10 articles
[sw00572]
 Failing model checking runs should be accompanied by...