Confluence reduction for Markov automata.

Mark Timmer Joost-Pieter Katoen Jaco van de Pol Mariëlle Stoelinga

Published in: Theor. Comput. Sci. (2016)

Keyphrases

cellular automata
markov chain
semi markov
regular expressions
finite state
finite state machines
databases
hidden markov models
dynamic programming
probabilistic model
markov random field
conditional independence
finite automata