• 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...
  • NIRA-3

  • Referenced in 3 articles [sw08671]
  • improved MATLAB package for finding Nash equilibria in infinite games. A powerful method for computing ... Nash equilibria in constrained, multi-player 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 multi-player 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 large-scale 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 high-level 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 general-purpose solver for...
  • PSwarm

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