
GameShrink
 Referenced in 11 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...

AWESOME
 Referenced in 14 articles
[sw40128]
 opponents and (2). converges to a Nash equilibrium in selfplay. The previous algorithm that...

EAGLE
 Referenced in 8 articles
[sw31989]
 concept for Reactive Modules Games is Nash equilibrium. In this paper, we describe a tool ... through which we can automatically verify Nash equilibrium strategies for Reactive Modules Games. Our tool ... checks whether these strategies form a Nash equilibrium of the Reactive Modules Game passed...

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...

EMP
 Referenced in 3 articles
[sw31823]
 mean specifying and solving generalized Nash equilibrium problems (GNEP), multiple optimization problems with equilibrium constraints...

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...

OPTGAME3
 Referenced in 3 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...

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...

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

gamet
 Referenced in 0 articles
[sw37609]
 iterated elimination of dominated strategies, and Nash equilibrium in pure and fully mixed strategies. Further...

DTA
 Referenced in 4 articles
[sw35454]
 scale networks with software implementation. Dynamic user equilibrium (DUE) is the most widely studied form ... road travelers engage in a noncooperative Nashlike game with departure time and route...

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...

EVE
 Referenced in 1 article
[sw31990]
 tool for the automated analysis of temporal equilibrium properties of concurrent and multiagent systems ... particular, EVE checks for the existence of Nash equilibria in such systems...

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

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

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