Efficient Detection of Zeno Runs in Timed Automata.

Rodolfo Gómez Howard Bowman

Published in: FORMATS (2007)

Keyphrases

timed automata
false positives
object detection
cost effective
detection accuracy
automatic detection
model checking
detection algorithm
detection method
computationally expensive
knowledge base
computationally efficient
anomaly detection
detection rate
search algorithm
video sequences
image sequences