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


  Access Paper or Ask Questions

Neural Predictive Monitoring under Partial Observabilit


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


  Access Paper or Ask Questions

Abstraction of Markov Population Dynamics via Generative Adversarial Nets


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


  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

* 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


  Access Paper or Ask Questions

Random Projections for Improved Adversarial Robustness


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


  Access Paper or Ask Questions

A kernel function for Signal Temporal Logic formulae


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

* 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

* 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


  Access Paper or Ask Questions

Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence


Nov 08, 2018
Luca Bortolussi, Guido Sanguinetti


  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

* 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

* 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


  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

* EPTCS 125, 2013, pp. 3-19 
* In Proceedings HSB 2013, arXiv:1308.5724 

  Access Paper or Ask Questions