Efficient Emptiness Check for Timed Büchi Automata (Extended version)

Frédéric Herbreteau B. Srivathsan Igor Walukiewicz

Published in: CoRR (2011)

Keyphrases

lightweight
real time
data sets
data mining
information retrieval
computer vision
multiscale
digital libraries
cellular automata
computationally expensive
timed automata