<?xml version="1.0" encoding="US-ASCII"?>
<dblp>
<article key="journals/corr/abs-1903-01980" publtype="informal" mdate="2019-03-30">
<author>Luca Cardelli</author>
<author>Marta Kwiatkowska</author>
<author>Luca Laurenti</author>
<author>Nicola Paoletti</author>
<author>Andrea Patane</author>
<author>Matthew Wicker</author>
<title>Statistical Guarantees for the Robustness of Bayesian Neural Networks.</title>
<year>2019</year>
<volume>abs/1903.01980</volume>
<journal>CoRR</journal>
<ee type="oa">http://arxiv.org/abs/1903.01980</ee>
<url>db/journals/corr/corr1903.html#abs-1903-01980</url>
</article>
</dblp>
