Tinput-Driven Pushdown, Counter, and Stack Automata.

Martin Kutrib Andreas Malcher Matthias Wendlandt

Published in: Fundam. Informaticae (2017)

Keyphrases

data driven
cellular automata
finite state machines
finite automata
cooperative
model checking
finite state
real world
genetic algorithm
metadata
reinforcement learning
timed automata