CAIROLI, FRANCESCA
CAIROLI, FRANCESCA
Dipartimento di Matematica, Informatica e Geoscienze
Ricercatori a tempo determinato
Abstraction of Markov Population Dynamics via Generative Adversarial Nets
2021-01-01 Cairoli, F.; Carbone, G.; Bortolussi, L.
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
2021-01-01 Bortolussi, Luca; Cairoli, Francesca; Carbone, Ginevra; Franchina, Francesco; Regolin, Enrico
Bayesian Abstraction of Markov Population Models
2019-01-01 Bortolussi, Luca; Cairoli, Francesca
Certified Guidance for Planning with Deep Generative Models
2025-01-01 Giacomarra, F.; Hosseini, M.; Paoletti, N.; Cairoli, F.
Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy
2019-01-01 Cairoli, Francesca; Fenu, Gianfranco; Pellegrino, Felice Andrea
CoCAI: Copula-Based Conformal Anomaly Identification for Multivariate Time-Series
2026-01-01 Pearson, Nicholas Andrea; Zanello, Francesca; Russo, Davide; Bortolussi, Luca; Cairoli, Francesca
Conformal predictions for hybrid system state classification
2019-01-01 Bortolussi, Luca; Cairoli, Francesca; Paoletti, Nicola; Stoller, Scott D.
Conformal Predictive Monitoring for Multi-modal Scenarios
2026-01-01 Cairoli, Francesca; Bortolussi, Luca; Deshmukh, Jyotirmoy V.; Lindemann, Lars; Paoletti, Nicola
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
2023-01-01 Cairoli, Francesca; Paoletti, Nicola; Bortolussi, Luca
Conformal quantitative predictive monitoring of stochastic systems with conditional validity
2025-01-01 Cairoli, Francesca; Kuipers, Tom; Bortolussi, Luca; Paoletti, Nicola
Data symmetries and Learning in fully connected neural networks
2023-01-01 Anselmi, Fabio; Manzoni, Luca; D'Onofrio, Alberto; Rodriguez, Alex; Caravagna, Giulio; Bortolussi, Luca; Cairoli, Francesca
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders
2023-01-01 Bortolussi, Luca; Cairoli, Francesca; Klein, Julia; Petrov, Tatjana
Deep Learning for Abstraction, Control and Monitoring of Complex Cyber-Physical Systems
2022-10-06 Cairoli, Francesca
Diffusion-based Time Series Forecasting for Sewerage Systems
2026-01-01 Pearson, Nicholas Andrea; Cairoli, Francesca; Bortolussi, Luca; Russo, Davide; Zanello, Francesca
Generative abstraction of Markov population processes
2023-01-01 Cairoli, F; Anselmi, F; D'Onofrio, A; Bortolussi, L
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees
2023-01-01 Cairoli, F.; Bortolussi, L.; Paoletti, N.
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models
2023-01-01 Bortolussi, Luca; Cairoli, Francesca; Giacomarra, Francesco; Scassola, Davide
Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications
2019-01-01 Cairoli, Francesca; Fenu, Gianfranco; Pellegrino, Felice Andrea; Salvato, Erica
Model Predictive Control of Glucose Concentration Based on Signal Temporal Logic Specifications with Unknown-Meals Occurrence
2020-01-01 Cairoli, Francesca; Fenu, Gianfranco; Pellegrino, Felice Andrea; Salvato, Erica
Neural Predictive Monitoring
2019-01-01 Bortolussi, Luca; Cairoli, Francesca; Paoletti, Nicola; Smolka, Scott A.; Stoller, Scott D.