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.
An algebraic framework for runtime verification
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.