Online Timed Pattern Matching Using Derivatives.

Dogan Ulus, Thomas Ferrre, Eugene Asarin, Oded Maler

Browse the full TACAS paper archive.