Learning specifications for labelled patterns
From MaRDI portal
Publication:1996014
DOI10.1007/978-3-030-57628-8_5OpenAlexW3080123699MaRDI QIDQ1996014FDOQ1996014
Authors: Nicolas Basset, Thao Dang, Akshay Mambakam, José Ignacio Requeno Jarabo
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
Cites Work
- A theory of timed automata
- Title not available (Why is that?)
- Specification and efficient monitoring beyond STL
- 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
Cited In (2)
This page was built for publication: Learning specifications for labelled patterns
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1996014)