Probabilistic Reachability for Parametric Markov Models.
Ernst Moritz HahnHolger HermannsLijun ZhangPublished in: SPIN (2009)
Keyphrases
- markov models
- markov model
- maximum entropy
- hidden markov models
- higher order
- low order
- hidden state
- conditional random fields
- transition probabilities
- sequence classification
- generative model
- probabilistic model
- bayesian networks
- sequence prediction
- state space
- computer vision
- document classification
- prior information
- connected components
- binary images
- objective function