Results 1 to 20 of 25
Sort by:

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