@inproceedings{112,
  author = {L. Bortolussi and F. Cairoli and N. Paoletti and S. Smolka and S. Stoller},
  title = {Bayesian Neural Predictive Monitoring},
  year = {2020},
  journal = {Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI},
  month = {09/2020},
  language = {eng},
}