SMT-Based Bisimulation Minimisation of Markov Models.

Christian Dehnert Joost-Pieter Katoen David Parker

Published in: VMCAI (2013)

Keyphrases

markov models
markov model
maximum entropy
hidden markov models
higher order
transition probabilities
low order
conditional random fields
statistical machine translation
hidden state
sequence classification
generative model
sequence prediction