Digging input-driven pushdown automata.

Martin Kutrib Andreas Malcher

Published in: NCMA (2019)

Keyphrases

data driven
real time
input data
cellular automata
metadata
training data
relational databases
markov chain
model checking
input variables
finite state machines
finite automata