Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Marta Kwiatkowska

Adversarial Robustness Guarantees for Gaussian Processes


Apr 07, 2021
Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska

* Submitted for publication 

  Access Paper or Ask Questions

Bayesian Inference with Certifiable Adversarial Robustness


Feb 23, 2021
Matthew Wicker, Luca Laurenti, Andrea Patane, Zhoutong Chen, Zheng Zhang, Marta Kwiatkowska

* Accepted AISTATS2021 

  Access Paper or Ask Questions

Assessing Robustness of Text Classification through Maximal Safe Radius Computation


Oct 07, 2020
Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska

* EMNLP-Findings2020 
* 12 pages + appendix 

  Access Paper or Ask Questions

On the Benefits of Invariance in Neural Networks


May 01, 2020
Clare Lyle, Mark van der Wilk, Marta Kwiatkowska, Yarin Gal, Benjamin Bloem-Reddy


  Access Paper or Ask Questions

Probabilistic Safety for Bayesian Neural Networks


Apr 21, 2020
Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska

* 14 pages, 5 figures, 2 tables 

  Access Paper or Ask Questions

Invariant Causal Prediction for Block MDPs


Mar 12, 2020
Amy Zhang, Clare Lyle, Shagun Sodhani, Angelos Filos, Marta Kwiatkowska, Joelle Pineau, Yarin Gal, Doina Precup

* 16 pages, 8 figures 

  Access Paper or Ask Questions

Safety Guarantees for Planning Based on Iterative Gaussian Processes


Jan 17, 2020
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen Roberts

* Preprint, shorter version presented in NeurIPS-2019 Workshop on Safety and Robustness in Decision Making 

  Access Paper or Ask Questions

Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control


Sep 21, 2019
Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska

* 7 pages, 3 figures, submitted to ICRA 2020 

  Access Paper or Ask Questions

On the Hardness of Robust Classification


Sep 12, 2019
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell

* To appear in the proceedings of Neural Information Processing Systems Conference (2019) 

  Access Paper or Ask Questions

Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture


Jul 22, 2019
Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska

* Proceedings at IEEE CAVS 2019 

  Access Paper or Ask Questions

Robustness Guarantees for Deep Neural Networks on Videos


Jun 28, 2019
Min Wu, Marta Kwiatkowska


  Access Paper or Ask Questions

Robustness Quantification for Classification with Gaussian Processes


May 28, 2019
Arno Blaas, Luca Laurenti, Andrea Patane, Luca Cardelli, Marta Kwiatkowska, Stephen Roberts

* 10 pages, 3 figures + Appendix 

  Access Paper or Ask Questions

Robustness of 3D Deep Learning in an Adversarial Setting


Apr 01, 2019
Matthew Wicker, Marta Kwiatkowska

* 10 pages, 8 figures, 1 table 

  Access Paper or Ask Questions

Statistical Guarantees for the Robustness of Bayesian Neural Networks


Mar 05, 2019
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker

* 9 pages, 6 figures 

  Access Paper or Ask Questions

Safety and Trustworthiness of Deep Neural Networks: A Survey


Jan 18, 2019
Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska, Wenjie Ruan, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi

* The paper requires a significant upgrade, and since it could be completely different with its current version, we believe it is more suitable to withdraw 

  Access Paper or Ask Questions

Evaluating Uncertainty Quantification in End-to-End Autonomous Driving Control


Nov 16, 2018
Rhiannon Michelmore, Marta Kwiatkowska, Yarin Gal

* 7 pages, 6 figures 

  Access Paper or Ask Questions

Robustness Guarantees for Bayesian Inference with Gaussian Processes


Oct 24, 2018
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane


  Access Paper or Ask Questions

Concolic Testing for Deep Neural Networks


Aug 04, 2018
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening


  Access Paper or Ask Questions

A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees


Jul 10, 2018
Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska


  Access Paper or Ask Questions

Reachability Analysis of Deep Neural Networks with Provable Guarantees


May 06, 2018
Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska

* This is the long version of the conference paper accepted in IJCAI-2018. Github: https://github.com/TrustAI/DeepGO 

  Access Paper or Ask Questions

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm


Apr 16, 2018
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska

* 39 Pages, Github: https://github.com/L0-TRE/L0-TRE 

  Access Paper or Ask Questions

Feature-Guided Black-Box Safety Testing of Deep Neural Networks


Feb 20, 2018
Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska

* 35 pages, 5 tables, 23 figures 

  Access Paper or Ask Questions

Resource-Performance Trade-off Analysis for Mobile Robot Design


Sep 11, 2017
Morteza Lahijanian, Maria Svorenova, Akshay A. Morye, Brian Yeomans, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska

* Technical report accompanying RA-L/ICRA'17 submission 

  Access Paper or Ask Questions

Safety Verification of Deep Neural Networks


May 05, 2017
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu

* To appear as invited paper at CAV 2017 

  Access Paper or Ask Questions