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

Random Projections for Improved Adversarial Robustness


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

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

A kernel function for Signal Temporal Logic formulae


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

Add code

* 12 pages, 3 figures 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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


Jul 06, 2020
Francesco Cicala, Luca Bortolussi

Add code

* 13 pages, 2 figures, submitted to NeurIPS 2020 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Robustness of Bayesian Neural Networks to Gradient-Based Attacks


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

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence


Nov 08, 2018
Luca Bortolussi, Guido Sanguinetti

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

A Robust Genetic Algorithm for Learning Temporal Specifications from Data


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

Add code

* 16 pages, 3 figure 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Matching models across abstraction levels with Gaussian Processes


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

Add code

* LNCS format 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias


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

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On the Robustness of Temporal Properties for Stochastic Models


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

Add code

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

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
<<
1
2