Efficient On-the-Fly Emptiness Check for Timed Büchi Automata.

Frédéric Herbreteau B. Srivathsan

Published in: ATVA (2010)

Keyphrases

machine learning
finite state machines
computer vision
computationally expensive
timed automata
databases
image processing
model checking