Sign in

Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm.

David N. JansenFlemming NielsonLijun Zhang
Published in: NASA Formal Methods (2012)
Keyphrases
  • hidden markov models
  • viterbi algorithm
  • learning algorithm
  • forward backward
  • speech recognition
  • k means
  • dynamic programming
  • baum welch
  • continuous hidden markov models
  • bayesian networks
  • markov chain
  • markov models