• Gambit

  • Referenced in 40 articles [sw07238]
  • Gambit: Software Tools for Game Theory Gambit is a library of game theory software...
  • kappalab

  • Referenced in 26 articles [sw06086]
  • multicriteria decision making or cooperative game theory...
  • GameShrink

  • Referenced in 7 articles [sw12511]
  • fundamental problem in computational game theory, but current techniques do not scale to large games...
  • BEDFix

  • Referenced in 7 articles [sw04469]
  • commonly found in economics and game theory. The computed approximation satisfies a residual criterion given...
  • DPPN

  • Referenced in 6 articles [sw03466]
  • player decision process: towards a game theory implementation using DPPN In this paper we introduce ... Nash equilibrium point for one-player games using decision process Petri nets. We prove that ... approach is that fixed-point conditions for games are given by the definition ... application area in Petri Net theory...
  • TUGlab

  • Referenced in 2 articles [sw13785]
  • used in introductory courses on cooperative game theory. Its main goal is to emphasize ... geometrical aspects of cooperative game theory. TUGlab offers to both the instructor and the student ... given 3 or 4 persons TU game. It allows the user to experiment at will...
  • ToadsAndFrogs

  • Referenced in 3 articles [sw12648]
  • automated proving of theorems in combinatorial game theory. We develop a finite-state automata approach ... positions in Richard Guy’s combinatorial game Toads and Frogs. In particular, we prove...
  • PGSolver

  • Referenced in 17 articles [sw14051]
  • games of perfect information and infinite duration that have important applications in automata theory ... investigate practical aspects of solving parity games. The main contribution is a suggestion...
  • Game Theory Explorer

  • Referenced in 1 article [sw12784]
  • Game Theory Explorer: software for the applied game theorist. This paper presents the “Game Theory...
  • ForMaRE

  • Referenced in 2 articles [sw08774]
  • first project year, we continued earlier game theory studies but then focused on auctions, where...
  • ISYDS

  • Referenced in 2 articles [sw19410]
  • decision aid tools like multicriteria and game theory models. Those features are in still under...
  • PDToolbox

  • Referenced in 1 article [sw21884]
  • implementation of some evolutionary dynamics from game theory, such as: replicator dynamics, smith dynamics, logit ... implementation of some evolutionary dynamics from game theory. The current version supports the implementation ... revision protocols, that is, population games with small number of agents per population. This toolbox...
  • egforui

  • Referenced in 1 article [sw05869]
  • unsupervised machine learning based on Evolutionary Game Theory on directed graphs. It is able ... paper ”A Novel Clustering Algorithm Based Upon Games on Evolving Network”, published...
  • Algorithm 848

  • Referenced in 1 article [sw04408]
  • PFix has applications in economics, game theory, and the solution of partial differential equations. PFix...
  • TituRel

  • Referenced in 6 articles [sw08501]
  • many explorative investigations: games, (bi-)simulations, topology, qualitative fuzzy considerations, theory extraction, social choice, decision...
  • G-TIME

  • Referenced in 1 article [sw07562]
  • Game of timing in gas pipeline projects competition: simulation software and generalized equilibrium solutions. Many ... competition between energy suppliers, and the theory of games is an appropriate tool to study ... game-theoretical gas market model developed in [G. Klaassen et al., J. Optimization Theory Appl...
  • POLSYS_PLP

  • Referenced in 18 articles [sw01238]
  • there has been rapid evolution of both theory and codes. Homotopy (continuation) methods ... compatible with it. The middle game of following a homotopy path is well understood...
  • GameTheoryAllocation

  • Referenced in 0 articles [sw16079]
  • most important allocations rules in Game Theory: Shapley value, Owen value or nucleolus, among other...
  • ECDAR

  • Referenced in 9 articles [sw02824]
  • important operations of a good compositional reasoning theory: composition, conjunction, quotient, consistency/satisfaction checking, and refinement ... these operations have been based on a game theoretical setting that permits, for example...
  • CAL

  • Referenced in 3 articles [sw21359]
  • expressions determined by the theory to implement various syntactic objects in CAL. We also introduce ... concept of derivation game, and show that various logical and computational systems given...