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)
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)