1 citations · 3 across the 9 of their papers we have counts for
4 papers · 1 filter
Guided by Stars: Interpretable Concept Learning Over Time Series via Temporal Logic Semantics
Irene Ferfoglia, Simone Silvetti, Gaia Saveri +2
Time series classification is a task of paramount importance, as this kind of data often arises in safety-critical applications. However, it is typically tackled with black-box dee…
Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics
Irene Ferfoglia, Simone Silvetti, Gaia Saveri +2
Time series classification is a task of paramount importance, as this kind of data often arises in safety-critical applications. However, it is typically tackled with black-box dee…
Retrieval-Augmented Mining of Temporal Logic Specifications from Data
Gaia Saveri, Luca Bortolussi
The integration of cyber-physical systems (CPS) into everyday life raises the critical necessity of ensuring their safety and reliability. An important step in this direction is re…
ECATS: Explainable-by-design concept-based anomaly detection for time series
Irene Ferfoglia, Gaia Saveri, Laura Nenzi +1
Deep learning methods for time series have already reached excellent performances in both prediction and classification tasks, including anomaly detection. However, the complexity…