FUN2MODEL - Key prior publications
Sort by: date, type, title
7 publications:
-
[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]
-
[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]
-
[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]
-
[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]
-
[HKO19]
Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik.
Reasoning about Cognitive Trust in Stochastic Multiagent Systems.
ACM Transactions on Computational Logic.
2019.
[pdf]
[bib]
Sort by: date, type, title
