Skip to main content

From FUnction-based TO MOdel-based automated probabilistic reasoning for DEep Learning

Searching for OpenAIRE data...

Publications

On the Benefits of Invariance in Neural Networks

Author(s): Clare Lyle, Mark van der Wilk, Marta Kwiatkowska, Yarin Gal, Benjamin Bloem-Reddy
Published in: 2020

PRISM-games 3.0

Author(s): Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Published in: 2020

PRISM 4.7

Author(s): David Parker, Gethin Norman, Marta Kwiatkowska
Published in: 2021

Adversarial Robustness Guarantees for Gaussian Processes

Author(s): Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska
Published in: 2021

Bayesian Inference with Certifiable Adversarial Robustness

Author(s): Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska
Published in: Proceedings, International Conference on Artificial Intelligence and Statistics (AISTATS'21), 2021

Certification of Iterative Predictions in Bayesian Neural Networks

Author(s): Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Published in: 37th Conference on Uncertainty in Artificial Intelligence (UAI'21), 2021

Safety and Robustness for Deep Learning with Provable Guarantees

Author(s): Marta Kwiatkowska
Published in: Proceedings, 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20), 2020

Probabilistic Guarantees for Safe Deep Reinforcement Learning

Author(s): Edoardo Bacci, David Parker
Published in: Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings, Issue 12288, 2020, Page(s) 231-248
DOI: 10.1007/978-3-030-57628-8_14

Multi-player Equilibria Verification for Concurrent Stochastic Games

Author(s): Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Published in: Proc. 17th International Conference on Quantitative Evaluation of SysTems (QEST'20), 2020

On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

Author(s): Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretinsky, David Parker, Tim Quatmann, Andrea Turrini and Zhen Zhang
Published in: Proc. 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20), 2020

Provable Guarantees on the Robustness of Decision Rules to Causal Interventions

Author(s): Benjie Wang, Clare Lyle, Marta Kwiatkowska
Published in: 30th International Joint Conference on Artificial Intelligence (IJCAI'21), 2021

Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper)

Author(s): Marta Kwiatkowska
Published in: 2019
DOI: 10.4230/lipics.concur.2019.1

Safety Guarantees for Iterative Predictions with Gaussian Processes

Author(s): Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen Roberts
Published in: Proceedings, 59th IEEE Conference on Decision and Control (CDC), 2020

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time

Author(s): Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Published in: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Issue 12225, 2020, Page(s) 475-487
DOI: 10.1007/978-3-030-53291-8_25

Verifying Reinforcement Learning up to Infinity

Author(s): Edoardo Bacci, Mirco Giacobbe, David Parker
Published in: Proceedings, 30th International Joint Conference on Artificial Intelligence (IJCAI-21), 2021

On Guaranteed Optimal Robust Explanations for NLP Models

Author(s): Emanuele La Malfa, Agnieszka Zbrzezny, Rhiannon Michelmore, Nicola Paoletti, Marta Kwiatkowska
Published in: Proceedings, 30th International Joint Conference on Artificial Intelligence (IJCAI-21), 2021

Invariant Causal Prediction for Block MDPs

Author(s): Amy Zhang, Clare Lyle, Shagun Sodhani, Angelos Filos, Marta Kwiatkowska, Joelle Pineau, Yarin Gal, Doina Precup
Published in: Proceedings of the 37th International Conference on Machine Learning (ICML), 2020

Probabilistic Safety for Bayesian Neural Networks

Author(s): Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska
Published in: Proceedings, 36th Conference on Uncertainty in Artificial Intelligence (UAI 2020), 2020

Adversarial Robustness Guarantees for Classification with Gaussian Processes

Author(s): Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen Roberts
Published in: Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics, 2020

Robustness Guarantees for Deep Neural Networks on Videos

Author(s): Min Wu, Marta Kwiatkowska
Published in: 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2020, Page(s) 308-317
DOI: 10.1109/cvpr42600.2020.00039

Automatic Verification and Strategy Synthesis for Zero-sum and Equilibria Properties of Concurrent Stochastic Games

Author(s): Gabriel Santos
Published in: PhD thesis, 2021

Robustness Evaluation of Deep Neural Networks with Provable Guarantees

Author(s): Min Wu
Published in: PhD thesis, 2020