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

  • Referenced in 1 article [sw37535]
  • optimality) and a non-cooperative 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 large-scale networks with software implementation. Dynamic user equilibrium ... road travelers engage in a non-cooperative Nash-like 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 large-scale 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 high-level language and interactive...
  • MetaGame

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