
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 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 discretetime Markov Decision Processes: finite horizon, value iteration, policy iteration, linear programming...

MALLET
 Referenced in 21 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 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...