Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 10 di 10
Titolo Data di pubblicazione Autori File
Conformal predictions for hybrid system state classification 1-gen-2019 Luca BortolussiFrancesca Cairoli +
Bayesian Abstraction of Markov Population Models 1-gen-2019 Luca BortolussiFrancesca Cairoli
Neural Predictive Monitoring 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
Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy 1-gen-2019 Cairoli, FrancescaFenu, GianfrancoPellegrino, Felice Andrea
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 Under Partial Observability 1-gen-2021 Cairoli F.Bortolussi L. +
Abstraction of Markov Population Dynamics via Generative Adversarial Nets 1-gen-2021 Cairoli F.Carbone G.Bortolussi L.
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches 1-gen-2021 Bortolussi L.Cairoli F. +
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems 1-gen-2021 Luca BortolussiFrancesca CairoliGinevra CarboneEnrico Regolin +
Mostrati risultati da 1 a 10 di 10
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