
Gambit
 Referenced in 35 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 oneplayer games using decision process Petri nets. We prove that ... approach is that ﬁxedpoint conditions for games are given by the deﬁnition ... 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...

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

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

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

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

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

GTIME
 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 ... gametheoretical 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...

GameTime
 Referenced in 1 article
[sw09949]
 combination of gametheoretic online learning and systematic testing using satisfiability modulo theories (SMT) solvers...