Learning specifications for labelled patterns

DOI10.1007/978-3-030-57628-8_5MaRDI QIDQ1996014zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

signal temporal logicmonotonic specification learningPareto multi-criteria optimizationsignal pattern matching

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 3147888 (Why is no real title available?)
• A decision tree approach to data classification using signal temporal logic
• A theory of timed automata
• Efficient parametric identification for STL
• Interpretable classification of time-series data using efficient enumerative techniques
• Learning specifications for labelled patterns
• Logical clustering and learning for time-series data
• Quantitative verification of implantable cardiac pacemakers over hybrid heart models
• Specification and efficient monitoring beyond STL
• TeLEx: learning signal temporal logic from positive examples using tightness metric
• Temporal Logics for Learning and Detection of Anomalous Behavior
• Temporal logic inference for classification and prediction from data

Cited in

(2)

• Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
• Learning specifications for labelled patterns

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)