Efficient Emptiness Check for Timed Büchi Automata.

Frédéric Herbreteau B. Srivathsan Igor Walukiewicz

Published in: CAV (2010)

Keyphrases

computationally expensive
computationally efficient
cellular automata
petri net
neural network
artificial intelligence
multiscale
cost effective
information gain
mobile robot
regular expressions