Sfoglia per Autore
Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications
2019-01-01 Cairoli, Francesca; Fenu, Gianfranco; Pellegrino, Felice Andrea; Salvato, Erica
Bayesian Abstraction of Markov Population Models
2019-01-01 Bortolussi, Luca; Cairoli, Francesca
Neural Predictive Monitoring
2019-01-01 Bortolussi, Luca; Cairoli, Francesca; Paoletti, Nicola; Smolka, Scott A.; Stoller, Scott D.
Conformal predictions for hybrid system state classification
2019-01-01 Bortolussi, Luca; Cairoli, Francesca; Paoletti, Nicola; Stoller, Scott D.
Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy
2019-01-01 Cairoli, Francesca; Fenu, Gianfranco; Pellegrino, Felice Andrea
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
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
2021-01-01 Bortolussi, Luca; Cairoli, Francesca; Carbone, Ginevra; Franchina, Francesco; Regolin, Enrico
Abstraction of Markov Population Dynamics via Generative Adversarial Nets
2021-01-01 Cairoli, F.; Carbone, G.; Bortolussi, L.
Neural Predictive Monitoring Under Partial Observability
2021-01-01 Cairoli, F.; Bortolussi, L.; Paoletti, N.
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.
Deep Learning for Abstraction, Control and Monitoring of Complex Cyber-Physical Systems
2022-10-06 Cairoli, Francesca
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
2023-01-01 Bortolussi, L.; Cairoli, F.; Carbone, G.; Pulcini, P.
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders
2023-01-01 Bortolussi, Luca; Cairoli, Francesca; Klein, Julia; Petrov, Tatjana
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
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees
2023-01-01 Cairoli, F.; Bortolussi, L.; Paoletti, N.
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
2023-01-01 Cairoli, Francesca; Paoletti, Nicola; Bortolussi, Luca
Generative abstraction of Markov population processes
2023-01-01 Cairoli, F; Anselmi, F; D'Onofrio, A; Bortolussi, L
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile