Deep pushdown automata.

Alexander Meduna

Published in: Acta Informatica (2006)

Keyphrases

cellular automata
probabilistic automata
regular expressions
model checking
tree automata
finite automata
finite state
finite state automata
database
timed automata
real time
evolutionary algorithm
multi agent
reinforcement learning
deep learning
three dimensional
real world