When input-driven pushdown automata meet reversibility.

Martin Kutrib Andreas Malcher Matthias Wendlandt

Published in: NCMA (2015)

Keyphrases

cellular automata
data driven
input variables
databases
search algorithm
finite state
machine learning
training data
multiscale
input data
model checking