Picture for Luca Bortolussi

Luca Bortolussi

University of Trieste, Italy

Fast ML-driven Analog Circuit Layout using Reinforcement Learning and Steiner Trees

Add code
May 27, 2024
Viaarxiv icon

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

Retrieval-Augmented Mining of Temporal Logic Specifications from Data

Add code
May 23, 2024
Figure 1 for Retrieval-Augmented Mining of Temporal Logic Specifications from Data
Figure 2 for Retrieval-Augmented Mining of Temporal Logic Specifications from Data
Figure 3 for Retrieval-Augmented Mining of Temporal Logic Specifications from Data
Figure 4 for Retrieval-Augmented Mining of Temporal Logic Specifications from Data
Viaarxiv icon

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

Add code
May 17, 2024
Viaarxiv icon

Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees

Add code
Dec 04, 2023
Viaarxiv icon

Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints

Add code
Aug 31, 2023
Viaarxiv icon

Relating Implicit Bias and Adversarial Attacks through Intrinsic Dimension

Add code
May 24, 2023
Figure 1 for Relating Implicit Bias and Adversarial Attacks through Intrinsic Dimension
Figure 2 for Relating Implicit Bias and Adversarial Attacks through Intrinsic Dimension
Figure 3 for Relating Implicit Bias and Adversarial Attacks through Intrinsic Dimension
Figure 4 for Relating Implicit Bias and Adversarial Attacks through Intrinsic Dimension
Viaarxiv icon

Towards Invertible Semantic-Preserving Embeddings of Logical Formulae

Add code
May 03, 2023
Viaarxiv icon

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

Add code
Nov 04, 2022
Figure 1 for Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Figure 2 for Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Figure 3 for Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Figure 4 for Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Viaarxiv icon

On the Robustness of Bayesian Neural Networks to Adversarial Attacks

Add code
Jul 13, 2022
Figure 1 for On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Figure 2 for On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Figure 3 for On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Figure 4 for On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Viaarxiv icon