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]
-
[HKO19]
Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik.
Reasoning about Cognitive Trust in Stochastic Multiagent Systems.
ACM Transactions on Computational Logic.
2019.
[pdf]
[bib]
-
[WWR+19]
Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang and Marta Kwiatkowska.
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees.
Theoretical Computer Science.
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]
Sort by: date, type, title