Efficient online timed pattern matching by automata-based skipping

DOI10.1007/978-3-319-65765-3_13zbMath1494.68318arXiv1706.09174OpenAlexW3106225727MaRDI QIDQ1683452

Masaki Waga, Ichiro Hasuo, Kohei Suenaga

Publication date: 1 December 2017

Full work available at URL: https://arxiv.org/abs/1706.09174

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Online algorithms; streaming algorithms (68W27) Algorithms on strings (68W32)

Related Items (2)

On the complexity of timed pattern matching ⋮ Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems

Uses Software

• Simulink
• Pure
• timed-pattern-matching
• MONAA
• Montre

This page was built for publication: Efficient online timed pattern matching by automata-based skipping