CAIROLI, FRANCESCA

CAIROLI, FRANCESCA  

Dipartimento di Matematica e Geoscienze  

Settore INF/01 - Informatica  

Assegnisti  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.012 secondi).
Titolo Data di pubblicazione Autori File
Abstraction of Markov Population Dynamics via Generative Adversarial Nets 1-gen-2021 Cairoli F.Carbone G.Bortolussi L.
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems 1-gen-2021 Luca BortolussiFrancesca CairoliGinevra CarboneEnrico Regolin +
Bayesian Abstraction of Markov Population Models 1-gen-2019 Luca BortolussiFrancesca Cairoli
Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy 1-gen-2019 Cairoli, FrancescaFenu, GianfrancoPellegrino, Felice Andrea
Conformal predictions for hybrid system state classification 1-gen-2019 Luca BortolussiFrancesca Cairoli +
Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications 1-gen-2019 Cairoli, FrancescaFenu, GianfrancoPellegrino, Felice AndreaSalvato, Erica
Model Predictive Control of Glucose Concentration Based on Signal Temporal Logic Specifications with Unknown-Meals Occurrence 1-gen-2020 Cairoli, FrancescaFenu, GianfrancoPellegrino, Felice AndreaSalvato, Erica
Neural Predictive Monitoring 1-gen-2019 Luca BortolussiFrancesca Cairoli +
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches 1-gen-2021 Bortolussi L.Cairoli F. +
Neural Predictive Monitoring Under Partial Observability 1-gen-2021 Cairoli F.Bortolussi L. +