Francesca Cairoli

Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking

L. Bortolussi, Ginevra Carbone, Francesca Cairoli, 2022, 2205.05398.

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

L. Bortolussi, Francesca Cairoli, Nicola Paoletti, 2022, ArXiv.

Neural predictive monitoring and a comparison of frequentist and Bayesian approaches

Nicola Paoletti, Scott A. Smolka, Luca Bortolussi, 2021, International Journal on Software Tools for Technology Transfer.

Data Symmetries and Learning in Fully Connected Neural Networks

L. Manzoni, F. Anselmi, L. Bortolussi, 2023, IEEE Access.

Neural Predictive Monitoring

Nicola Paoletti, Scott A. Smolka, Luca Bortolussi, 2019, RV.

Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking

L. Bortolussi, Ginevra Carbone, Francesca Cairoli, 2022, RV.

Abstraction of Markov Population Dynamics via Generative Adversarial Nets

Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, 2021, CMSB.

Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees

Francesca Cairoli, Luca Bortolussi, Nicola Paoletti, 2023, RV.

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

L. Bortolussi, Francesca Cairoli, Nicola Paoletti, 2022, HSCC.

Neural Predictive Monitoring under Partial Observability

Nicola Paoletti, Luca Bortolussi, Francesca Cairoli, 2021, RV.