
PRALINE
 Referenced in 6 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 7 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 2 articles
[sw32303]
 POGTGolog programs in terms of Nash equilibria, and we then specify a POGTGolog interpreter that ... computes one of these Nash equilibria...

Game Theory Explorer
 Referenced in 2 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...

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

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

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

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

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

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

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

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

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

PHCpack
 Referenced in 201 articles
[sw00705]
 Algorithm 795: PHCpack: A generalpurpose solver for...

PSwarm
 Referenced in 60 articles
[sw00742]
 PSwarm: a hybrid solver for linearly constrained global...