Ramsey-Based Inclusion Checking for Visibly Pushdown Automata.

Oliver Friedmann Felix Klaedtke Martin Lange

Published in: ACM Trans. Comput. Log. (2015)

Keyphrases

cellular automata
finite automata
model checking
finite state
regular expressions
tree automata
finite state machines
data mining
probabilistic automata
image processing
decision making
web services
verification method
timed automata
real time
lattice gas
finite state automaton
formal language theory