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
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.
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches
2021-01-01 Bortolussi, L.; Cairoli, F.; Paoletti, N.; Smolka, S. A.; Stoller, S. D.