Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox
Picture for Luca Bortolussi

Luca Bortolussi

University of Trieste, Italy

Neural Predictive Monitoring under Partial Observability


Aug 17, 2021
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti

Figure 1 for Neural Predictive Monitoring under Partial Observability
Figure 2 for Neural Predictive Monitoring under Partial Observability
Figure 3 for Neural Predictive Monitoring under Partial Observability
Figure 4 for Neural Predictive Monitoring under Partial Observability

  Access Paper or Ask Questions

Neural Predictive Monitoring under Partial Observabilit


Aug 16, 2021
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti

Figure 1 for Neural Predictive Monitoring under Partial Observabilit
Figure 2 for Neural Predictive Monitoring under Partial Observabilit
Figure 3 for Neural Predictive Monitoring under Partial Observabilit
Figure 4 for Neural Predictive Monitoring under Partial Observabilit

  Access Paper or Ask Questions

Abstraction of Markov Population Dynamics via Generative Adversarial Nets


Jun 24, 2021
Francesca Cairoli, Ginevra Carbone, Luca Bortolussi

Figure 1 for Abstraction of Markov Population Dynamics via Generative Adversarial Nets
Figure 2 for Abstraction of Markov Population Dynamics via Generative Adversarial Nets
Figure 3 for Abstraction of Markov Population Dynamics via Generative Adversarial Nets
Figure 4 for Abstraction of Markov Population Dynamics via Generative Adversarial Nets

  Access Paper or Ask Questions

Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models


May 03, 2021
Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf

Figure 1 for Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models
Figure 2 for Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models
Figure 3 for Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models
Figure 4 for Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models
* arXiv admin note: text overlap with arXiv:2010.10096 
  Access Paper or Ask Questions

Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks


Feb 22, 2021
Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi

Figure 1 for Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks
Figure 2 for Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks
Figure 3 for Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks
Figure 4 for Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks

  Access Paper or Ask Questions

Random Projections for Improved Adversarial Robustness


Feb 18, 2021
Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi

Figure 1 for Random Projections for Improved Adversarial Robustness
Figure 2 for Random Projections for Improved Adversarial Robustness
Figure 3 for Random Projections for Improved Adversarial Robustness
Figure 4 for Random Projections for Improved Adversarial Robustness

  Access Paper or Ask Questions

A kernel function for Signal Temporal Logic formulae


Sep 11, 2020
Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi

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
* 12 pages, 3 figures 
  Access Paper or Ask Questions

Density-embedding layers: a general framework for adaptive receptive fields


Jul 06, 2020
Francesco Cicala, Luca Bortolussi

Figure 1 for Density-embedding layers: a general framework for adaptive receptive fields
Figure 2 for Density-embedding layers: a general framework for adaptive receptive fields
Figure 3 for Density-embedding layers: a general framework for adaptive receptive fields
Figure 4 for Density-embedding layers: a general framework for adaptive receptive fields
* 13 pages, 2 figures, submitted to NeurIPS 2020 
  Access Paper or Ask Questions

Robustness of Bayesian Neural Networks to Gradient-Based Attacks


Feb 12, 2020
Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane, Luca Bortolussi, Guido Sanguinetti

Figure 1 for Robustness of Bayesian Neural Networks to Gradient-Based Attacks
Figure 2 for Robustness of Bayesian Neural Networks to Gradient-Based Attacks
Figure 3 for Robustness of Bayesian Neural Networks to Gradient-Based Attacks
Figure 4 for Robustness of Bayesian Neural Networks to Gradient-Based Attacks

  Access Paper or Ask Questions

Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence


Nov 08, 2018
Luca Bortolussi, Guido Sanguinetti

Figure 1 for Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence
Figure 2 for Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence
Figure 3 for Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence

  Access Paper or Ask Questions

A Robust Genetic Algorithm for Learning Temporal Specifications from Data


Aug 01, 2018
Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi

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
* 16 pages, 3 figure 
  Access Paper or Ask Questions

Matching models across abstraction levels with Gaussian Processes


May 07, 2016
Giulio Caravagna, Luca Bortolussi, Guido Sanguinetti

Figure 1 for Matching models across abstraction levels with Gaussian Processes
Figure 2 for Matching models across abstraction levels with Gaussian Processes
Figure 3 for Matching models across abstraction levels with Gaussian Processes
Figure 4 for Matching models across abstraction levels with Gaussian Processes
* LNCS format 
  Access Paper or Ask Questions

Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias


Dec 29, 2013
Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti

Figure 1 for Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias
Figure 2 for Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias
Figure 3 for Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias
Figure 4 for Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias

  Access Paper or Ask Questions

On the Robustness of Temporal Properties for Stochastic Models


Sep 03, 2013
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti

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
* EPTCS 125, 2013, pp. 3-19 
 * In Proceedings HSB 2013, arXiv:1308.5724 
  Access Paper or Ask Questions