| 2026 | FM | Exact Verification of Graph Neural Networks with Incremental Constraint Solving. | Minghao Liu, Chia-Hsuan Lu, Marta Kwiatkowska |
| 2025 | IJCAI | Learning Probabilistic Temporal Logic Specifications for Stochastic Systems. | Rajarshi Roy, Yash Pote, Dave Parker, Marta Kwiatkowska |
| 2025 | ICRA | Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty. | Pian Yu, Yong Li, David Parker, Marta Kwiatkowska |
| 2025 | SETTA | Risk-Averse Certification of Bayesian Neural Networks. | Xiyue Zhang, Zifan Wang, Yulong Gao, Licio Romao, Alessandro Abate, Marta Kwiatkowska |
| 2024 | CSL | Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk). | Marta Kwiatkowska |
| 2024 | FM | Adversarial Robustness Certification for Bayesian Neural Networks. | Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska |
| 2024 | FM | Partially Observable Stochastic Games with Neural Perception Mechanisms. | Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska |
| 2024 | ICML | Learning Decision Policies with Instrumental Variables through Double Machine Learning. | Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska |
| 2024 | IJCAI | The Trembling-Hand Problem for LTLf Planning. | Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi |
| 2024 | ICRA | Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications. | Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng, Marta Kwiatkowska |
| 2024 | TACAS | Provable Preimage Under-Approximation for Neural Networks. | Xiyue Zhang, Benjie Wang, Marta Kwiatkowska |
| 2023 | AISTATS | Compositional Probabilistic and Causal Inference using Tractable Circuit Models. | Benjie Wang, Marta Kwiatkowska |
| 2023 | CCS | Certifiers Make Neural Networks Vulnerable to Availability Attacks. | Tobias Lorenz, Marta Kwiatkowska, Mario Fritz |
| 2023 | CONCUR | CONCUR Test-Of-Time Award 2023 (Invited Paper). | Bengt Jonsson, Marta Kwiatkowska, Igor Walukiewicz |
| 2023 | FedCSIS | When to Trust AI: Advances and Challenges for Certification of Neural Networks. | Marta Kwiatkowska, Xiyue Zhang |
| 2023 | IJCAI | Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees. | Daqian Shao, Marta Kwiatkowska |
| 2022 | AAAI | The King Is Naked: On the Notion of Robustness for Natural Language Processing. | Emanuele La Malfa, Marta Kwiatkowska |
| 2022 | ICML | Learning Dynamics and Generalization in Deep Reinforcement Learning. | Clare Lyle, Mark Rowland, Will Dabney, Marta Kwiatkowska, Yarin Gal |
| 2022 | ICML | Tractable Uncertainty for Structure Learning. | Benjie Wang, Matthew Wicker, Marta Kwiatkowska |
| 2022 | IJCAI | Individual Fairness Guarantees for Neural Networks. | Elias Benussi, Andrea Patan, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska |
| 2022 | IJCAI | Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. | Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell |
| 2022 | IJCAI | Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. | Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska |
| 2022 | MFCS | Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan |
| 2022 | UAI | Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. | Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska |
| 2022 | TACAS | Correlated Equilibria and Fairness in Concurrent Stochastic Games. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2021 | AISTATS | Bayesian Inference with Certifiable Adversarial Robustness. | Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska |
| 2021 | IJCAI | On Guaranteed Optimal Robust Explanations for NLP Models. | Emanuele La Malfa, Rhiannon Michelmore, Agnieszka M. Zbrzezny, Nicola Paoletti, Marta Kwiatkowska |
| 2021 | IJCAI | Provable Guarantees on the Robustness of Decision Rules to Causal Interventions. | Benjie Wang, Clare Lyle, Marta Kwiatkowska |
| 2021 | UAI | Certification of iterative predictions in Bayesian neural networks. | Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska |
| 2020 | AISTATS | Adversarial Robustness Guarantees for Classification with Gaussian Processes. | Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts |
| 2020 | CAV | PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2020 | CVPR | Robustness Guarantees for Deep Neural Networks on Videos. | Min Wu, Marta Kwiatkowska |
| 2020 | EMNLP | Assessing Robustness of Text Classification through Maximal Safe Radius Computation. | Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska |
| 2020 | ICML | Invariant Causal Prediction for Block MDPs. | Amy Zhang, Clare Lyle, Shagun Sodhani, Angelos Filos, Marta Kwiatkowska, Joelle Pineau, Yarin Gal, Doina Precup |
| 2020 | ICRA | Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. | Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska |
| 2020 | UAI | Probabilistic Safety for Bayesian Neural Networks. | Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska |
| 2019 | AAAI | Robustness Guarantees for Bayesian Inference with Gaussian Processes. | Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane |
| 2019 | CVPR | Robustness of 3D Deep Learning in an Adversarial Setting. | Matthew Wicker, Marta Kwiatkowska |
| 2019 | FM | Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2019 | IJCAI | Probabilistic Strategy Logic. | Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2019 | IJCAI | Statistical Guarantees for the Robustness of Bayesian Neural Networks. | Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker |
| 2019 | IJCAI | Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. | Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska |
| 2019 | IROS | Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. | Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska |
| 2018 | IJCAI | Reachability Analysis of Deep Neural Networks with Provable Guarantees. | Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska |
| 2018 | SP | When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts. | Simon Eberz, Giulio Lovisotto, Andrea Patane, Marta Kwiatkowska, Vincent Lenders, Ivan Martinovic |
| 2018 | TACAS | Feature-Guided Black-Box Safety Testing of Deep Neural Networks. | Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska |
| 2017 | APSEC | Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking. | Azlan B. Ismail, Marta Kwiatkowska |
| 2017 | CAV | Safety Verification of Deep Neural Networks. | Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu |
| 2017 | ICSA | Designing Robust Software Systems through Parametric Markov Chain Synthesis. | Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti |
| 2017 | NDSS | Broken Hearted: How To Attack ECG Biometrics. | Simon Eberz, Nicola Paoletti, Marc Roeschlin, Andrea Patan, Marta Kwiatkowska, Ivan Martinovic |
| 2017 | TAMC | Cognitive Reasoning and Trust in Human-Robot Interactions. | Marta Kwiatkowska |
| 2016 | AAAI | Model Checking Probabilistic Knowledge: A PSPACE Case. | Xiaowei Huang, Marta Kwiatkowska |
| 2016 | ATVA | Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. | Alessandro Abate, Milan Ceska, Marta Kwiatkowska |
| 2016 | DNA | Programming Discrete Distributions with Chemical Reaction Networks. | Luca Cardelli, Marta Kwiatkowska, Luca Laurenti |
| 2016 | DNA | Chemical Reaction Network Designs for Asynchronous Logic Circuits. | Luca Cardelli, Marta Kwiatkowska, Max Whitby |
| 2016 | TACAS | PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. | Marta Kwiatkowska, David Parker, Clemens Wiltsche |