Parallel Composition of Finite State Activity Automata.

Tanbir Ahmed Gösta Grahne

Published in: DCFS (2006)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
tree automata
context free
average cost
state space
image compression
image coding
action sets
continuous time bayesian networks