Picture for Laura Nenzi

Laura Nenzi

IMT Lucca, Italy

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic

Add code
May 23, 2024
Viaarxiv icon

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

Add code
May 17, 2024
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