Learning specifications for labelled patterns
From MaRDI portal
Publication:1996014
DOI10.1007/978-3-030-57628-8_5OpenAlexW3080123699MaRDI QIDQ1996014
Thao Dang, Akshay Mambakam, José Ignacio Requeno Jarabo, Nicolas Basset
Publication date: 2 March 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-57628-8_5
signal temporal logicmonotonic specification learningPareto multi-criteria optimizationsignal pattern matching
Related Items (2)
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions ⋮ Learning specifications for labelled patterns
Cites Work
- Unnamed Item
- A theory of timed automata
- Learning specifications for labelled patterns
- TeLEx: learning signal temporal logic from positive examples using tightness metric
- Logical clustering and learning for time-series data
- Quantitative verification of implantable cardiac pacemakers over hybrid heart models
- Temporal logic inference for classification and prediction from data
- A Decision Tree Approach to Data Classification using Signal Temporal Logic
- Efficient Parametric Identification for STL
- Interpretable classification of time-series data using efficient enumerative techniques
- Temporal Logics for Learning and Detection of Anomalous Behavior
- Specification and efficient monitoring beyond STL
This page was built for publication: Learning specifications for labelled patterns
