Efficient emptiness check for timed Büchi automata.

Frédéric Herbreteau B. Srivathsan Igor Walukiewicz

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

Keyphrases

real world
three dimensional
cellular automata
tree automata
timed automata
image processing
website
multiscale
natural language
lightweight
regular expressions
finite state machines