A pruned enumerative search learns STL formulas for time-series classification without templates or restricted fragments.
St-lib: a library for specifying and classifying model behaviors
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2019 2verdicts
UNVERDICTED 2representative citing papers
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.
citing papers explorer
-
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
A pruned enumerative search learns STL formulas for time-series classification without templates or restricted fragments.
-
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.