Picture for Laura Nenzi

Laura Nenzi

IMT Lucca, Italy

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic

Add code
May 23, 2024
Figure 1 for stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
Figure 2 for stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
Figure 3 for stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
Figure 4 for stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
Viaarxiv icon

ECATS: Explainable-by-design concept-based anomaly detection for time series

Add code
May 17, 2024
Figure 1 for ECATS: Explainable-by-design concept-based anomaly detection for time series
Figure 2 for ECATS: Explainable-by-design concept-based anomaly detection for time series
Figure 3 for ECATS: Explainable-by-design concept-based anomaly detection for time series
Figure 4 for ECATS: Explainable-by-design concept-based anomaly detection for time series
Viaarxiv icon

Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

Add code
Jan 24, 2022
Figure 1 for Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
Figure 2 for Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
Figure 3 for Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
Figure 4 for Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
Viaarxiv icon

Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems

Add code
Jun 16, 2021
Figure 1 for Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems
Figure 2 for Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems
Figure 3 for Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems
Figure 4 for Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems
Viaarxiv icon

A kernel function for Signal Temporal Logic formulae

Add code
Sep 11, 2020
Figure 1 for A kernel function for Signal Temporal Logic formulae
Figure 2 for A kernel function for Signal Temporal Logic formulae
Figure 3 for A kernel function for Signal Temporal Logic formulae
Viaarxiv icon

A Robust Genetic Algorithm for Learning Temporal Specifications from Data

Add code
Aug 01, 2018
Figure 1 for A Robust Genetic Algorithm for Learning Temporal Specifications from Data
Figure 2 for A Robust Genetic Algorithm for Learning Temporal Specifications from Data
Figure 3 for A Robust Genetic Algorithm for Learning Temporal Specifications from Data
Figure 4 for A Robust Genetic Algorithm for Learning Temporal Specifications from Data
Viaarxiv icon

On the Robustness of Temporal Properties for Stochastic Models

Add code
Sep 03, 2013
Figure 1 for On the Robustness of Temporal Properties for Stochastic Models
Figure 2 for On the Robustness of Temporal Properties for Stochastic Models
Figure 3 for On the Robustness of Temporal Properties for Stochastic Models
Figure 4 for On the Robustness of Temporal Properties for Stochastic Models
Viaarxiv icon