TY - CPAPER
AU - L. Bortolussi
AU - F. Cairoli
AU - N. Paoletti
AU - S. Smolka
AU - S. Stoller
BT - Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI
DA - 09/2020
LA - eng
PY - 2020
T2 - Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI
TI - Bayesian Neural Predictive Monitoring
ER -