• Z-Tree

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

  • Referenced in 11 articles [sw12511]
  • games. Finding an equilibrium of an extensive form game of imperfect information is a fundamental...
  • GAMUT

  • Referenced in 18 articles [sw30178]
  • algorithm requiring a normal-form game as input. GAMUT is not to be confused with ... construction and analysis of finite extensive and normal form games. GAMUT is made...
  • NEGEXT

  • Referenced in 1 article [sw09761]
  • Playing extensive form negotiation games: a tool-based analysis. This paper reports the development ... Even though some visualization tools for extensive form game trees already exist, we believe...
  • Game Theory Explorer

  • Referenced in 3 articles [sw12784]
  • strategic interaction. A game in extensive or strategic form is created and nicely displayed with ... then compute all Nash equilibria of the game after a mouseclick. In tutorial fashion...
  • gamet

  • Referenced in 0 articles [sw37609]
  • intelligent and rational decision makers (Myerson 1991). Game-theory concepts apply in economy, sociology, biology ... command gamet to represent the extensive form (game tree) and the strategic form (payoff matrix ... solution of a nonzero and zero-sum game through dominant and dominated strategies, iterated elimination ... criterion and the solution of an extensive form game through backward induction...
  • EAGLE

  • Referenced in 8 articles [sw31989]
  • Reactive Modules Games is a game-theoretic extension of Reactive Modules, in which concurrent agents ... basic analytical concept for Reactive Modules Games is Nash equilibrium. In this paper, we describe ... verify Nash equilibrium strategies for Reactive Modules Games. Our tool takes as input a system ... whether these strategies form a Nash equilibrium of the Reactive Modules Game passed as input...
  • GamePlan

  • Referenced in 1 article [sw12785]
  • wide range of game models from the normal to the extensive forms, from perfect...
  • LAIMA

  • Referenced in 1 article [sw32207]
  • Multi-agent systems (MAS) can take many forms depending on the characteristics of the agents ... deductive reasoning multi-agent platform using an extension of answer set programming (ASP). We show ... implementation of our system we combine the extensibility of the JADE framework with the flexibility ... agent system reasoning about equilibria of extensive games with perfect information...
  • conPAS

  • Referenced in 1 article [sw10953]
  • form of a control transition system. Second, by leveraging ideas and techniques from Buchi games ... expressed as deterministic Buchi automata, while its extension conPAS2 can handle arbitrary LTL formulas through...
  • JSLINQ

  • Referenced in 1 article [sw27567]
  • core of our security enforcement in the form of a security type system ... core, we develop JSLINQ, an extension of the WebSharper library to track information flow ... movie rental database, an online Battleship game, and a friend finder app. Our experiments indicate...
  • BARON

  • Referenced in 361 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Kronecker

  • Referenced in 119 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • Macaulay2

  • Referenced in 1958 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...