Markov Automata: Deciding Weak Bisimulation by means of non-naively Vanishing States

Johann Schuster Markus Siegle

Published in: CoRR (2012)

Keyphrases

markov chain
finite state machines
finite automaton
markov model
databases
neural network
cellular automata
regular expressions
initial state
data sets
computer vision
finite state
conditional independence
markov process
lattice gas