Marimba: A Tool for Verifying Properties of Hidden Markov Models.
Noé HernándezKerstin EderEvgeni MagidJesus SavageDavid A. RosenbluethPublished in: CoRR (2015)
Keyphrases
- hidden markov models
- speech recognition
- conditional random fields
- gesture recognition
- viterbi algorithm
- markov model
- markov models
- model checking
- automatic speech recognition
- sequential data
- sequence classification
- continuous hidden markov models
- forward backward
- hidden states
- discriminative training
- hidden state
- higher order
- probabilistic model