• Z-Tree

  • Referenced in 585 articles [sw11707]
  • allowing the simple programming of normal form games, extensive form games, double auctions, or clock...
  • AdaBoost.MH

  • Referenced in 456 articles [sw08517]
  • problems, including gambling, multiple-outcome prediction, repeated games, and prediction of points...
  • OpenCL

  • Referenced in 216 articles [sw07060]
  • applications in numerous market categories from gaming and entertainment to scientific and medical software...
  • OpenGL

  • Referenced in 131 articles [sw06740]
  • visualization, information visualization, flight simulation, and video games. OpenGL is managed by the non-profit...
  • Gambit

  • Referenced in 50 articles [sw07238]
  • Gambit: Software Tools for Game Theory Gambit is a library of game theory software ... analysis of finite extensive and strategic games. Gambit is designed to be portable across platforms...
  • UPPAAL TIGA

  • Referenced in 40 articles [sw12913]
  • efficient on-the-fly algorithm for solving games based on timed game automata with respect ... reachability and safety properties. Though timed games for long have been known to be decidable ... obtaining time-optimal winning strategies (for reachability games...
  • kappalab

  • Referenced in 46 articles [sw06086]
  • various types of set functions such as games or capacities. It can be used ... framework of multicriteria decision making or cooperative game theory...
  • R-MAX

  • Referenced in 32 articles [sw02539]
  • algorithm, covering zero-sum stochastic games. (2) It has a built-in mechanism for resolving ... algorithm for learning in single controller stochastic games. (5) It generalizes the algorithm by Monderer ... Tennenholtz for learning in repeated games. (6) It is the only algorithm for learning ... repeated games, to date, which is provably efficient, considerably improving and simplifying previous algorithms...
  • PGSolver

  • Referenced in 27 articles [sw14051]
  • PGSolver collection of parity game solvers. Solving parity games in practice. Parity games ... player 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 ... solve parity games efficiently in practice: we present a generic solver that intertwines optimisations with...
  • ToolboxLS

  • Referenced in 47 articles [sw06312]
  • fields such as control, robotics, differential games, dynamic programming, mesh generation, stochastic differential equations, financial...
  • HOMPACK90

  • Referenced in 45 articles [sw00412]
  • elegant interfaces, use of modules, new end games, support for several sparse matrix data structures...
  • MAGIC

  • Referenced in 37 articles [sw14159]
  • counterexamples as winning strategies in a simulation game between the implementation and the specification...
  • GAMUT

  • Referenced in 16 articles [sw30178]
  • GAMUT -- GAMUT is a suite of game generators designated for testing game-theoretic algorithms. With ... GAMUT, instances of games from thirty-five base game classes can be easily generated. Using ... possible to randomize over countless distributions of games, resulting in a comprehensive test ... algorithm requiring a normal-form game as input. GAMUT is not to be confused with...
  • GDL

  • Referenced in 18 articles [sw27615]
  • Game Description Language, or GDL, is a logic programming language[1] designed by Michael Genesereth ... part of the General Game Playing Project at Stanford University, California. GDL describes the state ... game as a series of facts, and the game mechanics as logical rules. (wikipedia...
  • PRISM-games

  • Referenced in 16 articles [sw12934]
  • PRISM-games: a model checker for stochastic multi-player games. We present PRISM-games ... model checker for stochastic multi-player games, which supports modelling, automated verification and strategy synthesis ... adding novel model checking algorithms for stochastic games, as well as functionality to synthesise optimal...
  • EasyCrypt

  • Referenced in 28 articles [sw09738]
  • proof as a sequence of games and hints. Proof sketches are checked automatically using...
  • POLSYS_PLP

  • Referenced in 18 articles [sw01238]
  • compatible with it. The middle game of following a homotopy path is well understood ... focuses principally on the end and opening games. The authors treat mainly isolated, finite, regular...
  • GameShrink

  • Referenced in 11 articles [sw12511]
  • Lossless abstraction of imperfect information games. Finding an equilibrium of an extensive form game ... information is a fundamental problem in computational game theory, but current techniques do not scale ... large games. To address this, we introduce the ordered game isomorphism and the related ordered ... game isomorphic abstraction transformation. For a multi-player sequential game of imperfect information with observable...
  • Dynamo

  • Referenced in 17 articles [sw31188]
  • Dynamo: Diagrams for Evolutionary Game Dynamics. Dynamo is a suite of easy-to-use Mathematica ... fields, and other graphics related to evolutionary game dynamics...