Online timed pattern matching using automata
From MaRDI portal
Publication:1631233
DOI10.1007/978-3-030-00151-3_13OpenAlexW2888608181MaRDI QIDQ1631233
Eugene Asarin, Oded Maler, Thomas Ferrère, Alexey Bakhirkin, Dejan Ničković
Publication date: 6 December 2018
Full work available at URL: https://doi.org/10.1007/978-3-030-00151-3_13
Related Items (3)
On the complexity of timed pattern matching ⋮ Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems ⋮ Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
This page was built for publication: Online timed pattern matching using automata
