Efficient Modelling and Generation of Markov Automata.

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

Published in: CONCUR (2012)

Keyphrases

computationally expensive
computationally efficient
database systems
data mining
multiscale
cellular automata
computer vision
image processing
cost effective
finite state
generation process