Learning specifications for labelled patterns

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

zbMATH Keywords

signal temporal logicmonotonic specification learningPareto multi-criteria optimizationsignal pattern matching

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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)

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

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)