A Modest Approach to Modelling and Checking Markov Automata.

Yuliya Butkova Arnd Hartmanns Holger Hermanns

Published in: QEST (2019)

Keyphrases

markov chain
markov model
conditional independence
probabilistic automata
cellular automata
data sets
computer vision
finite state
finite automata
case study
dynamic programming