• Gambit

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

  • Referenced in 6 articles [sw12511]
  • fundamental problem in computational game theory, but current techniques do not scale to large games...
  • 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...
  • Game Theory Explorer

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

  • Referenced in 2 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 13 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...
  • 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...
  • ForMaRE

  • Referenced in 1 article [sw08774]
  • first project year, we continued earlier game theory studies but then focused on auctions, where...
  • Algorithm 848

  • Referenced in 1 article [sw04408]
  • PFix has applications in economics, game theory, and the solution of partial differential equations. PFix...
  • 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...
  • TituRel

  • Referenced in 5 articles [sw08501]
  • many explorative investigations: games, (bi-)simulations, topology, qualitative fuzzy considerations, theory extraction, social choice, decision...
  • 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...
  • GameTime

  • Referenced in 1 article [sw09949]
  • combination of game-theoretic online learning and systematic testing using satisfiability modulo theories (SMT) solvers...
  • D4g

  • Referenced in 1 article [sw07687]
  • lightweight utterance semantics derived from collaborative discourse theory, making it a step towards dialogue generation ... open-source tool, called Disco for Games (D4g), to support the methodology and present...
  • EnvyMyCar

  • Referenced in 1 article [sw10704]
  • implement computer graphics concepts and theory using the EnvyMyCar (NVMC) framework as a consistent example ... develop NVMC, a simple, interactive car racing game. Each chapter focuses on a particular computer...