@inproceedings{wicker2021certification,
    title={Certification of Iterative Predictions in Bayesian Neural Networks},
    author={Matthew Wicker and Luca Laurenti and Andrea Patane and Nicola Paoletti and Alessandro Abate and Marta Kwiatkowska},
    year={2021},
	booktitle={Uncertainty in Artificial Intelligence (UAI 2021)},
  series    = {Proceedings of Machine Learning Research},
  volume    = {161},
  pages     = {1713--1723},
    url       = {https://proceedings.mlr.press/v161/wicker21a.html},
}