
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 nondeterministic) discretetime Markov processes (dtMP) defined over uncountable (continuous) state spaces ... abstracted as a finitestate Markov chain or Markov decision processes. The abstraction procedure runs...

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

MDPtoolbox
 Referenced in 3 articles
[sw22705]
 resolution of discretetime Markov Decision Processes: finite horizon, value iteration, policy iteration, linear programming...

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

MALLET
 Referenced in 23 articles
[sw10602]
 Javabased 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 QuasiBirthandDeath 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 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GAUSS
 Referenced in 120 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

GAVS
 Referenced in 9 articles
[sw00323]
 Reasoning on the properties of computer systems can...

gmp
 Referenced in 289 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 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

KNITRO
 Referenced in 200 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 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...