Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches. International Journal On Software Tools For Technology Transfer. (Original work published 2021)
. (2021). N. Paoletti
First name
N.
Last name
Paoletti
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. Ieee Access.
. (2020). Data-Driven Robust Control for a Closed-Loop Artificial Pancreas. Ieee/Acm Transactions On Computational Biology And Bioinformatics, 17(6). (Original work published 2020)
. (2020). MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas. Proceedings of CDC 2021, the 60th IEEE Conference on Decision and Control. Presented at the. (Original work published 2021)
. (2021). Bayesian Neural Predictive Monitoring. Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI. Presented at the. (Original work published 2020)
. (2020).