Checking Timed Büchi Automata Emptiness Efficiently.

Stavros Tripakis Sergio Yovine Ahmed Bouajjani

Published in: Formal Methods Syst. Des. (2005)

Keyphrases

timed automata
cellular automata
finite state machines
database
data sets
website
real world
computer vision
petri net
information gain