Three SCC-Based Emptiness Checks for Generalized Büchi Automata.

Etienne Renault Alexandre Duret-Lutz Fabrice Kordon Denis Poitrenaud

Published in: LPAR (2013)

Keyphrases

tree automata
cellular automata
real time
databases
search engine
artificial neural networks
text categorization
coalitional games
finite state automata