Sfoglia per Autore
Conformal predictions for hybrid system state classification
2019-01-01 Bortolussi, Luca; Cairoli, Francesca; Paoletti, Nicola; Stoller, Scott D.
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.
Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications
2019-01-01 Cairoli, Francesca; Fenu, Gianfranco; Pellegrino, Felice Andrea; Salvato, Erica
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
Neural Predictive Monitoring Under Partial Observability
2021-01-01 Cairoli, F.; Bortolussi, L.; Paoletti, N.
Abstraction of Markov Population Dynamics via Generative Adversarial Nets
2021-01-01 Cairoli, F.; Carbone, G.; Bortolussi, L.
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.
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
2021-01-01 Bortolussi, Luca; Cairoli, Francesca; Carbone, Ginevra; Franchina, Francesco; Regolin, Enrico
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