CAIROLI, FRANCESCA

CAIROLI, FRANCESCA  

Dipartimento di Matematica, Informatica e Geoscienze  

Ricercatori a tempo determinato  

Mostra records
Risultati 1 - 20 di 20 (tempo di esecuzione: 0.056 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 +
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes 1-gen-2023 Cairoli, FrancescaBortolussi, Luca +
Data symmetries and Learning in fully connected neural networks 1-gen-2023 Fabio AnselmiLuca ManzoniAlberto D’OnofrioAlex RodriguezGiulio CaravagnaLuca BortolussiFrancesca Cairoli
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders 1-gen-2023 Bortolussi, LucaCairoli, FrancescaPetrov, Tatjana +
Deep Learning for Abstraction, Control and Monitoring of Complex Cyber-Physical Systems 6-ott-2022 CAIROLI, FRANCESCA
Generative abstraction of Markov population processes 1-gen-2023 Cairoli, FAnselmi, Fd'Onofrio, ABortolussi, L
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees 1-gen-2023 Cairoli F.Bortolussi L. +
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models 1-gen-2023 Bortolussi, LucaCairoli, FrancescaGiacomarra, FrancescoScassola, Davide
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 for Collective Adaptive Systems 1-gen-2022 Cairoli F.Bortolussi L. +
Neural Predictive Monitoring Under Partial Observability 1-gen-2021 Cairoli F.Bortolussi L. +
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking 1-gen-2023 Bortolussi L.Cairoli F.Carbone G.Pulcini P.
Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems 1-gen-2025 Randone, FrancescaDoz, RominaCairoli, FrancescaBortolussi, Luca