Parameter Synthesis for Markov Models: Faster Than Ever.

Tim Quatmann Christian Dehnert Nils Jansen Sebastian Junges Joost-Pieter Katoen

Published in: ATVA (2016)

Keyphrases

markov models
markov model
higher order
hidden markov models
maximum entropy
low order
transition probabilities
sequence classification
conditional random fields
hidden state
sequence prediction
statistical model
bayesian networks
search space