Skip to main content

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


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

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

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