%0 Conference Paper %1 conf/uai/WickerLPPAK21 %A Wicker, Matthew %A Laurenti, Luca %A Patane, Andrea %A Paoletti, Nicola %A Abate, Alessandro %A Kwiatkowska, Marta %B UAI %D 2021 %E de Campos, Cassio P. %E Maathuis, Marloes H. %E Quaeghebeur, Erik %I AUAI Press %K dblp %P 1713-1723 %T Certification of iterative predictions in Bayesian neural networks. %U http://dblp.uni-trier.de/db/conf/uai/uai2021.html#WickerLPPAK21 %V 161

@inproceedings{conf/uai/WickerLPPAK21, added-at = {2021-12-17T00:00:00.000+0100}, author = {Wicker, Matthew and Laurenti, Luca and Patane, Andrea and Paoletti, Nicola and Abate, Alessandro and Kwiatkowska, Marta}, biburl = {https://www.bibsonomy.org/bibtex/23f27bf4db0c9235408331db1d531b93d/dblp}, booktitle = {UAI}, crossref = {conf/uai/2021}, editor = {de Campos, Cassio P. and Maathuis, Marloes H. and Quaeghebeur, Erik}, ee = {https://proceedings.mlr.press/v161/wicker21a.html}, interhash = {7c1d00a0ae6bb0497ec908342a39042d}, intrahash = {3f27bf4db0c9235408331db1d531b93d}, keywords = {dblp}, pages = {1713-1723}, publisher = {AUAI Press}, series = {Proceedings of Machine Learning Research}, timestamp = {2024-04-09T13:32:22.000+0200}, title = {Certification of iterative predictions in Bayesian neural networks.}, url = {http://dblp.uni-trier.de/db/conf/uai/uai2021.html#WickerLPPAK21}, volume = 161, year = 2021 }