Input-Driven Double-Head Pushdown Automata.

Markus Holzer Martin Kutrib Andreas Malcher Matthias Wendlandt

Published in: Int. J. Found. Comput. Sci. (2022)

Keyphrases

data driven
model checking
data model
cellular automata
data sets
databases
machine learning
query language
finite state
user input
finite automata
physical parameters