
GameShrink
 Referenced in 10 articles
[sw12511]
 abstraction of imperfect information games. Finding an equilibrium of an extensive form game of imperfect ... signal space, we prove that any Nash equilibrium in an abstracted smaller game, obtained ... easily converted into a Nash equilibrium in the original game. We present an algorithm, GameShrink...

DPPN
 Referenced in 6 articles
[sw03466]
 alternative deﬁnition to the Nash equilibrium point for oneplayer games using decision process Petri ... this case with the concept of Nash equilibrium. The advantage of this approach is that...

Optgame
 Referenced in 6 articles
[sw04936]
 algorithm, which has been developed to determine equilibrium solutions of dynamic games in discrete time ... delivers openloop and feedback Nash equilibrium solutions, openloop and feedback Stackelberg equilibrium solutions...

GamePlan
 Referenced in 1 article
[sw12785]
 equilibrium, depending on the structure. The Nash equilibrium is only supported in the normal form...

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

nopp
 Referenced in 1 article
[sw25120]
 ideological positions that correspond to a Nash equilibrium along a onedimensional space...

LemkeHowson
 Referenced in 1 article
[sw22505]
 function computes a sample mixed strategy Nash equilibrium in a bimatrix game. This function implements...

GTIME
 Referenced in 1 article
[sw07562]
 pipeline projects competition: simulation software and generalized equilibrium solutions. Many models of energy market development ... deals with a notion of generalized Nash equilibrium which seems to be useful to take...

OPTGAME3
 Referenced in 2 articles
[sw10841]
 algorithm, which can be used to calculate equilibrium and optimum control solutions of dynamic games ... optimal solutions and noncooperative Nash and Stackelberg equilibrium solutions. In addition we present...

PRALINE
 Referenced in 5 articles
[sw12912]
 pure Nash equilibria in these games. It can construct the strategies of the equilibrium...

NIRAGUI
 Referenced in 1 article
[sw26185]
 MATLAB application which solves for coupleconstraint Nash equilbria. NIRAGUI allows the user ... solve coupledconstraint games. It implements an equilibrium search method based on the NikaidoIsoda...

CGAL
 Referenced in 319 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

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

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

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

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

MOMBASA
 Referenced in 5 articles
[sw00588]
 The MOMBASA Software Environment is a toolkit that...

NetworkX
 Referenced in 80 articles
[sw00616]
 NetworkX (NX) is a Python package for the...