Minimizing Variants of Visibly Pushdown Automata.

Patrick Chervet Igor Walukiewicz

Published in: MFCS (2007)

Keyphrases

cellular automata
model checking
finite state
computer vision
finite automata
real time
data mining
genetic algorithm
multiscale
multi agent
special case
mobile robot
finite state machines
related algorithms
probabilistic automata