Efficient On-line Detection of Temporal Patterns

Shlomi Dolev, Jonathan Goldfeld, Rami Puzis

Identifying a temporal pattern of events is a fundamental task of on-line (real-time) verification. We present efficient schemes for on-line monitoring of events for identifying de…