79 citations · 233 across the 21 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.AI2024★ 1 cited
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
Gaia Saveri, Laura Nenzi, Luca Bortolussi +1
Integrating symbolic knowledge and data-driven learning algorithms is a longstanding challenge in Artificial Intelligence. Despite the recognized importance of this task, a notable…
cs.LG2024
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…