• POMDPS

  • Referenced in 39 articles [sw03055]
  • Online planning algorithms for POMDPS. Partially Observable Markov Decision Processes (POMDPs) provide a rich framework...
  • DESPOT

  • Referenced in 6 articles [sw27455]
  • DESPOT: online POMDP planning with regularization. The partially observable Markov decision process (POMDP) provides ... principled general framework for planning under uncertainty, but solving POMDPs optimally is computationally intractable ... Partially Observable Tree (DESPOT), a sparse approximation of the standard belief tree, for online planning...
  • POGTGolog

  • Referenced in 3 articles [sw32303]
  • present the agent programming language POGTGolog (Partially Observable Game-Theoretic Golog), which integrates explicit agent ... with game-theoretic multi-agent planning in partially observable stochastic games. In this framework...
  • BDI-POMDP

  • Referenced in 6 articles [sw03092]
  • paradigm, with explicit representation of team plans. Despite their promise, current BDI team approaches lack ... quantitative performance analysis under uncertainty. Distributed partially observable Markov decision problems (POMDPs) are well suited ... hybrid BDI-POMDP approach, where BDI team plans are exploited to improve POMDP tractability...
  • MADP toolbox

  • Referenced in 1 article [sw23885]
  • MADP) Toolbox, a software library to support planning and learning for intelligent agents and multiagent ... features are that it supports partially observable environments and stochastic transition models; has unified support ... sequential decision making under various assumptions of observability and cooperation, such as Dec-POMDPs ... problems; provides an extensive range of planning and learning algorithms for single- and multiagent systems...
  • REBA

  • Referenced in 4 articles [sw29435]
  • inference in the ASP program provides a plan of abstract actions. To implement each such ... actuation, are used to construct a partially observable Markov decision process (POMDP). The policy obtained...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ARMS

  • Referenced in 68 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • 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...
  • gmp

  • Referenced in 289 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • 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...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Octave

  • Referenced in 312 articles [sw00646]
  • GNU Octave is a high-level language, primarily...