Detecting Useless Transitions in Pushdown Automata.

Dick Grune Wan J. Fokkink Evangelos Chatzikalymnios Brinio Hond Peter Rutgers

Published in: LATA (2017)

Keyphrases

model checking
cellular automata
finite state machines
real time
machine learning
finite state
automatically detecting
data sets
real world
information retrieval
social networks
image processing
multi agent
finite automata
probabilistic automata