On the Verification of Timed Discrete-Event Models.

Christos Stergiou Stavros Tripakis Eleftherios Matsikoudis Edward A. Lee

Published in: FORMATS (2013)

Keyphrases

event models
video event
petri net
model checking
event recognition
traffic scenes
image sequences
similarity measure
multiscale
higher level
video data
low level features