FUN2MODEL - Key prior publications
Sort by: date, type, title
7 publications:
-
[CKL+19a]
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, and Matthew Wicker.
Statistical Guarantees for the Robustness of Bayesian Neural Networks.
In Proc. International Joint Conference on Artificial Intelligence (IJCAI).
2019.
[pdf]
-
[GKKW19]
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska and James Worrell.
On the Hardness of Robust Classification.
In In Proc. Thirty-third Conference on Neural Information Processing Systems.
2019.
[pdf]
[bib]
-
[CKLP19]
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti and Andrea Patane.
Robustness Guarantees for Bayesian Inference with Gaussian Processes.
In Proc. Thirty-Third AAAI Conference on Artificial Intelligence (AAAI'19).
2019.
[pdf]
[bib]
-
[RHK18]
W. Ruan, X. Huang, and M. Kwiatkowska.
Reachability Analysis of Deep Neural Networks with Provable Guarantees.
In Proc. 27th International Joint Conference on Artificial Intelligence (IJCAI'18).
2018.
[pdf]
[bib]
-
[HKW+17]
X. Huang, M. Kwiatkowska, S. Wang and M. Wu.
Safety Verification of Deep Neural Networks.
In Proc. 29th International Conference on Computer Aided Verification (CAV), Springer.
2017.
[pdf]
[bib]
Sort by: date, type, title
