Fast detection of cycles in timed automata.

Aakash Deshpande Frédéric Herbreteau B. Srivathsan Thanh-Tung Tran Igor Walukiewicz

Published in: CoRR (2014)

Keyphrases

timed automata
model checking
object detection
reachability analysis
false alarms
real time
detection method
detection accuracy
automatic detection
detection rate
dynamic programming
social networks
search engine
hough transform
detection algorithm
state space
data sets