When input-driven pushdown automata meet reversiblity.

Martin Kutrib Andreas Malcher Matthias Wendlandt

Published in: RAIRO Theor. Informatics Appl. (2016)

Keyphrases

cellular automata
model checking
finite state
data sets
data driven
neural network
computer vision
website
three dimensional
reinforcement learning
special case
input data
lattice gas