Statistical Guarantees for the Robustness of Bayesian Neural Networks

Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Nicola Paoletti; Andrea Patanè; Matthew Wicker

doi:10.24963/ijcai.2019/789

Statistical Guarantees for the Robustness of Bayesian Neural Networks

Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patanè, Matthew Wicker

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
Publisher	International Joint Conferences on Artificial Intelligence
Pages	5693-5700
Number of pages	8
ISBN (Electronic)	978-0-9992411-4-1
DOIs	https://doi.org/10.24963/ijcai.2019/789
Publication status	Published - Aug 2019

Access to Document

10.24963/ijcai.2019/789

https://www.ijcai.org/proceedings/2019/0789.pdf

Cite this

Cardelli, L., Kwiatkowska, M., Laurenti, L., Paoletti, N., Patanè, A., & Wicker, M. (2019). Statistical Guarantees for the Robustness of Bayesian Neural Networks. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (pp. 5693-5700). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2019/789

@inproceedings{10153cddf6e44fa38a568fbaae40871c,

title = "Statistical Guarantees for the Robustness of Bayesian Neural Networks",

author = "Luca Cardelli and Marta Kwiatkowska and Luca Laurenti and Nicola Paoletti and Andrea Patan{\`e} and Matthew Wicker",

year = "2019",

month = aug,

doi = "10.24963/ijcai.2019/789",

language = "English",

pages = "5693--5700",

booktitle = "Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence",

publisher = "International Joint Conferences on Artificial Intelligence",

}

Statistical Guarantees for the Robustness of Bayesian Neural Networks. / Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca et al.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, 2019. p. 5693-5700.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Statistical Guarantees for the Robustness of Bayesian Neural Networks

AU - Cardelli, Luca

AU - Kwiatkowska, Marta

AU - Laurenti, Luca

AU - Paoletti, Nicola

AU - Patanè, Andrea

AU - Wicker, Matthew

PY - 2019/8

Y1 - 2019/8

U2 - 10.24963/ijcai.2019/789

DO - 10.24963/ijcai.2019/789

M3 - Conference contribution

SP - 5693

EP - 5700

BT - Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence

PB - International Joint Conferences on Artificial Intelligence

ER -