Presents the first online quantitative timed pattern matching algorithm via timed symbolic weighted automata, shortest distances on weighted zone graphs, and dynamic programming over semirings.
Quantitative monitoring of STL with edit distance
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.FL 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata
Presents the first online quantitative timed pattern matching algorithm via timed symbolic weighted automata, shortest distances on weighted zone graphs, and dynamic programming over semirings.