• Pluribus

  • Referenced in 6 articles [sw32193]
  • have shown superiority over humans in two-player games such as chess, Go, and heads ... games usually include six players – a much trickier challenge for artificial intelligence than the two...
  • Alpaga

  • Referenced in 7 articles [sw00032]
  • Alpaga is a solver for two-player parity games with imperfect information. Given the description...
  • RRE

  • Referenced in 9 articles [sw22305]
  • modeled as opponents in a two-player Stackelberg stochastic game. RRE applies attack-response trees...
  • Optgame

  • Referenced in 6 articles [sw04936]
  • obtain approximate numerical solutions for two-player difference games where the objective functions are quadratic...
  • StressGAN

  • Referenced in 1 article [sw41691]
  • boundary conditions through a two-player minimax game between two neural networks with no prior...
  • ChessY

  • Referenced in 1 article [sw27543]
  • most popular two-player strategy board games in history, enjoyed by casual players and competing...
  • ACPC

  • Referenced in 1 article [sw32194]
  • against automated agents. It supports two-player and three-player limit and no-limit Texas ... well as three-player Kuhn. It can support any game supported by the ACPC Dealer...
  • Matlab

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

  • Referenced in 412 articles [sw00989]
  • An ANSI C code for sparse LU factorization...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • LiQuor

  • Referenced in 18 articles [sw04136]
  • LiQuor is a tool for verifying probabilistic reactive...
  • CEGAR

  • Referenced in 34 articles [sw04605]
  • Counterexample-guided abstraction refinement (CEGAR) has been en...
  • ROME

  • Referenced in 111 articles [sw04733]
  • Robust optimization made easy with ROME We introduce...
  • MPI

  • Referenced in 515 articles [sw06496]
  • Automatic differentiation through the use of hyper-dual...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR...
  • SuLQ

  • Referenced in 128 articles [sw11355]
  • Practical privacy: the SuLQ framework. We consider a...
  • SatAbs

  • Referenced in 41 articles [sw12804]
  • SATABS: SAT-based predicate abstraction for ANSI-C...
  • SIFT

  • Referenced in 631 articles [sw16554]
  • SIFT Keypoint Detector. Distinctive Image Features from Scale...