• 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...
  • PRISM-games

  • Referenced in 20 articles [sw12934]
  • games: a model checker for stochastic multi-player games. We present PRISM-games, a 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...
  • ToolboxLS

  • Referenced in 52 articles [sw06312]
  • control, robotics, differential games, dynamic programming, mesh generation, stochastic differential equations, financial mathematics, and verification...
  • RRE

  • Referenced in 9 articles [sw22305]
  • opponents in a two-player Stackelberg stochastic game. RRE applies attack-response trees to analyze...
  • POGTGolog

  • Referenced in 3 articles [sw32303]
  • multi-agent planning in partially observable stochastic games. In this framework, we assume one team...
  • GTGolog

  • Referenced in 2 articles [sw32304]
  • Golog with multi-agent planning in stochastic games. A drawback of this framework, however...
  • IQC-Game

  • Referenced in 1 article [sw39462]
  • order methods for smooth and strongly-monotone games and show how to design tailored quadratic ... further extend our analysis to stochastic games and study the impact of multiplicative noise ... once per batch (in contrast with the stochastic strongly-convex optimization setting, where such acceleration...
  • SMS

  • Referenced in 2 articles [sw26575]
  • program package for simulation and gaming of stochastic market processes and learning behavior...
  • EAQR

  • Referenced in 1 article [sw27641]
  • exploration rate epsilon. Seven cooperative repeated games are used as cases to study the dynamics ... EAQR. Moreover, comparison experiments on stochastic games with finite steps are conducted...
  • birds

  • Referenced in 1 article [sw31187]
  • utility for simulating ergodic stochastic processes. Given a finite game G of n players, strategies...
  • BRMaximin

  • Referenced in 4 articles [sw38759]
  • afterward. Therefore, we consider the normal form game as a decision problem from the perspective ... reasoning ability. By leveraging robust optimization, stochastic programming, and distributionally robust optimization techniques ... strategies of play in a normal form game with incomplete knowledge regarding adversary rationality...
  • ORL

  • Referenced in 1 article [sw34775]
  • Reinforcement Learning Benchmarks for Online Stochastic Optimization Problems. Reinforcement Learning (RL) has achieved state ... results in domains such as robotics and games. We build on this previous work ... algorithms to a selection of canonical online stochastic optimization problems with a range of practical...
  • BARON

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

  • Referenced in 41 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

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

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • Expokit

  • Referenced in 200 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

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