Bayesian Neural Predictive Monitoring,
Bortolussi, L., Cairoli F., Paoletti N., Smolka S. A., and Stoller S. D.
, Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI, 09/2020, (2020)
Data-Driven Robust Control for a Closed-Loop Artificial Pancreas,
Paoletti, N., Liu K. S., Chen H., Smolka S. A., and Lin S.
, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 11/2020, Volume 17, Issue 6, (2020)