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