Sign in

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

Etienne RenaultAlexandre Duret-LutzFabrice KordonDenis 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