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
Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy
2019-01-01 Cairoli, Francesca; Fenu, Gianfranco; Pellegrino, Felice Andrea
Conformal predictions for hybrid system state classification
2019-01-01 Bortolussi, Luca; Cairoli, Francesca; Paoletti, Nicola; Stoller, Scott D.
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
2023-01-01 Cairoli, Francesca; Paoletti, Nicola; Bortolussi, Luca
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.
Neural Predictive Monitoring for Collective Adaptive Systems
2022-01-01 Cairoli, F.; Paoletti, N.; Bortolussi, L.
Neural Predictive Monitoring Under Partial Observability
2021-01-01 Cairoli, F.; Bortolussi, L.; Paoletti, N.
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
2023-01-01 Bortolussi, L.; Cairoli, F.; Carbone, G.; Pulcini, P.
Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems
2025-01-01 Randone, Francesca; Doz, Romina; Cairoli, Francesca; Bortolussi, Luca