• LiQuor

  • Referenced in 18 articles [sw04136]
  • operational semantics based on (finite) Markov decision processes. LiQuor provides the facility to perform...
  • FAUST2

  • Referenced in 14 articles [sw23682]
  • possibly non-deterministic) discrete-time Markov processes (dtMP) defined over uncountable (continuous) state spaces ... abstracted as a finite-state Markov chain or Markov decision processes. The abstraction procedure runs...
  • AMYTISS

  • Referenced in 2 articles [sw36936]
  • employed to (i) build finite Markov decision processes (MDPs) as finite abstractions of given original...
  • POMDP

  • Referenced in 24 articles [sw03204]
  • that are formulated as partially observable Markov decision processes, a.k.a. POMDPs. It uses the basic ... time working backwards in time. It does finite horizon problems with or without discounting...
  • MDPtoolbox

  • Referenced in 2 articles [sw22705]
  • resolution of discrete-time Markov Decision Processes: finite horizon, value iteration, policy iteration, linear programming...
  • MALLET

  • Referenced in 21 articles [sw10602]
  • Java-based package for statistical natural language processing, document classification, clustering, topic modeling, information extraction ... algorithms (including Naïve Bayes, Maximum Entropy, and Decision Trees), and code for evaluating classifier performance ... from text. Algorithms include Hidden Markov Models, Maximum Entropy Markov Models, and Conditional Random Fields ... implemented in an extensible system for finite state transducers...
  • jMarkov

  • Referenced in 2 articles [sw22688]
  • Integrated Framework for Markov Chain Modeling. Markov chains (MC) are a powerful tool for modeling ... main module supports MC models with a finite state space; (ii) the jQBD module enables ... modeling of Quasi-Birth-and-Death processes, a class of MCs with infinite state space ... capabilities to determine optimal decision rules based on Markov Decision Processes; and (iv) the jPhase...
  • Alpaga

  • Referenced in 7 articles [sw00032]
  • Alpaga: A Tool for Solving Parity Games with...
  • GAP

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

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • gmp

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

  • Referenced in 57 articles [sw00384]
  • GreatSPN2.0 is a software package for the modeling...
  • Isabelle

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

  • Referenced in 196 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LANGAGE

  • Referenced in 39 articles [sw00501]
  • LANGAGE: A Maple package for automaton characterization of...
  • Macaulay2

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

  • Referenced in 3296 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • MARCA

  • Referenced in 32 articles [sw00547]
  • MARCA: Markov chain analyzer, a software package for...