Login / Signup
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