Probabilistic reachability for parametric Markov models.

Ernst Moritz Hahn Holger Hermanns Lijun Zhang

Published in: Int. J. Softw. Tools Technol. Transf. (2011)

Keyphrases

markov models
markov model
maximum entropy
higher order
hidden markov models
low order
transition probabilities
conditional random fields
sequence classification
probabilistic model
sequence prediction
hidden state
generative model
posterior probability
state space
bayesian networks
information retrieval