Tinput-Driven Pushdown Automata.

Martin Kutrib Andreas Malcher Matthias Wendlandt

Published in: MCU (2015)

Keyphrases

cellular automata
model checking
data driven
finite automata
computer vision
feature selection
multi agent
regular expressions
finite state automata
probabilistic automata