%0 Conference Paper
%B Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI
%D 2020
%G eng
%T Bayesian Neural Predictive Monitoring
%8 09/2020