Online timed pattern matching using derivatives
From MaRDI portal
Publication:2272934
DOI10.1007/978-3-662-49674-9_47zbMath1420.68247OpenAlexW2469998798MaRDI QIDQ2272934
Dogan Ulus, Eugene Asarin, Oded Maler, Thomas Ferrère
Publication date: 17 September 2019
Full work available at URL: https://doi.org/10.1007/978-3-662-49674-9_47
Formal languages and automata (68Q45) Online algorithms; streaming algorithms (68W27) Algorithms on strings (68W32)
Related Items (7)
On the complexity of timed pattern matching ⋮ Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions ⋮ Almost Event-Rate Independent Monitoring of Metric Temporal Logic ⋮ Almost event-rate independent monitoring ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Extended Nested Dual System Groups, Revisited ⋮ Monitoring timed properties (revisited)
This page was built for publication: Online timed pattern matching using derivatives
