• 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 definition to the Nash equilibrium point for one-player 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 open-loop and feedback Nash equilibrium solutions, open-loop 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 multi-player 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 one-dimensional space...
  • LemkeHowson

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

  • 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 non-cooperative 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...
  • NIRA-GUI

  • Referenced in 1 article [sw26185]
  • MATLAB application which solves for couple-constraint Nash equilbria. NIRA-GUI allows the user ... solve coupled-constraint games. It implements an equilibrium search method based on the Nikaido-Isoda...
  • 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 large-scale 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 high-level 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...