Login / Signup
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.
Erika Ábrahám
Bernd Becker
Christian Dehnert
Nils Jansen
Joost-Pieter Katoen
Ralf Wimmer
Published in:
SFM (2014)
Keyphrases
</>
markov models
markov model
maximum entropy
hidden markov models
higher order
markov chain
hidden state
conditional random fields
transition probabilities
low order
sequence classification
sequence prediction
prior knowledge
information extraction