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)
Excitable dynamics in neural and cardiac systems,
Barrio, Roberto, Coombes Stephen, Desroches Mathieu, Fenton Flavio, Luther Stefan, and Pueyo Esther
, Communications in Nonlinear Science and Numerical Simulation, 07/2020, Volume 86, (2020)
Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level,
Huang, Samuel, Diep Madeline, Jang Kuk, Cherry Elizabeth M., Fenton Flavio H., Cleaveland Rance, Lindvall Mikael, Mangharam Rahul, and Porter Adam
, CSBio'20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics, (2020)