Statistical Guarantees for the Robustness of Bayesian Neural Networks. / Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Paoletti, Nicola; Patanè, Andrea; Wicker, Matthew.

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 proceedingConference contribution

Published

Standard

Statistical Guarantees for the Robustness of Bayesian Neural Networks. / Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Paoletti, Nicola; Patanè, Andrea; Wicker, Matthew.

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 proceedingConference contribution

Harvard

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. International Joint Conferences on Artificial Intelligence, pp. 5693-5700. https://doi.org/10.24963/ijcai.2019/789

APA

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

Vancouver

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

Author

Cardelli, Luca ; Kwiatkowska, Marta ; Laurenti, Luca ; Paoletti, Nicola ; Patanè, Andrea ; Wicker, Matthew. / Statistical Guarantees for the Robustness of Bayesian Neural Networks. Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, 2019. pp. 5693-5700

BibTeX

@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",

}

RIS

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 -