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

Add to Chrome

Add to Firefox

Picture for Luca Bortolussi

Luca Bortolussi

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

Nov 04, 2022
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi

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

Access Paper or Ask Questions

On the Robustness of Bayesian Neural Networks to Adversarial Attacks

Jul 13, 2022
Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker

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

* arXiv admin note: text overlap with arXiv:2002.04359

Access Paper or Ask Questions

Stochastic Variational Smoothed Model Checking

May 11, 2022
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini

Figure 1 for Stochastic Variational Smoothed Model Checking

Figure 2 for Stochastic Variational Smoothed Model Checking

Figure 3 for Stochastic Variational Smoothed Model Checking

Figure 4 for Stochastic Variational Smoothed Model Checking

Access Paper or Ask Questions

Graph Neural Networks for Propositional Model Counting

May 09, 2022
Gaia Saveri, Luca Bortolussi

Figure 1 for Graph Neural Networks for Propositional Model Counting

Figure 2 for Graph Neural Networks for Propositional Model Counting

Figure 3 for Graph Neural Networks for Propositional Model Counting

Figure 4 for Graph Neural Networks for Propositional Model Counting

Access Paper or Ask Questions

Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

Jan 24, 2022
Luca Bortolussi, Giuseppe Maria Gallo, Jan Křetínský, Laura Nenzi

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

Access Paper or Ask Questions

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