Publications Peer reviewed articles (8) Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks Author(s): Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun Published in: Journal of Logical and Algebraic Methods in Programming, Issue Volume 136, January 2024, 100907, 2023, ISSN 2352-2208 Publisher: ELSEVIER DOI: 10.1016/j.jlamp.2023.100907 Planning for Automated Vehicles with Human Trust Author(s): Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, David Parker, Lu Feng Published in: ACM Transactions on Cyber-Physical Systems, 2022, ISSN 2378-962X Publisher: Association for Computing Machinery DOI: 10.1145/3561059 Automated Verification of Concurrent Stochastic Systems Author(s): Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos Published in: Formal Methods in System Design, 2021, ISSN 0925-9856 Publisher: Kluwer Academic Publishers DOI: 10.1007/s10703-020-00356-y A Language for Modeling and Optimizing Experimental Biological Protocols Author(s): Luca Cardelli; Marta Kwiatkowska; Luca Laurenti Published in: Computation, Issue 9, 107, 2021, ISSN 2079-3197 Publisher: MDPI DOI: 10.3390/computation9100107 Probabilistic model checking and autonomy Author(s): Marta Kwiatkowska, Gethin Norman and David Parker Published in: Annual Review of Control, Robotics, and Autonomous Systems, Issue 5:1,, 2022, Page(s) 385-410, ISSN 2573-5144 Publisher: Annual Review of Control, Robotics, and Autonomous Systems DOI: 10.1146/annurev-control-042820-010947 Adversarial Robustness Guarantees for Gaussian Processes Author(s): Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska Published in: Journal of Machine Learning Research, Issue 23(146), 2022, Page(s) 1−55, ISSN 2640-3498 Publisher: PMLR Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. Author(s): Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Marielle Stoelinga and Nils Jansen. Published in: Journal of Artificial Intelligence Research, Issue 76, 2023, ISSN 1076-9757 Publisher: Morgan Kaufmann Publishers, Inc. DOI: 10.1613/jair.1.14253 Rational verification: game-theoretic verification of multi-agent systems Author(s): Abate, Alessandro; Gutierrez, Julian; Hammond, Lewis; Harrenstein, Paul; Kwiatkowska, Marta; Najib, Muhammad; Perelli, Giuseppe; Steeples, Thomas; Wooldridge, Michael Published in: Appl Intell, Issue 51, 2021, Page(s) 6569–6584, ISSN 0924-669X Publisher: Kluwer Academic Publishers DOI: 10.1007/s10489-021-02658-y Thesis dissertations (9) On the Role of Explainability and Uncertainty in Ensuring Safety of AI Applications Author(s): Rhiannon Falconmore Published in: PhD thesis, 2022 Publisher: University of Oxford Automatic Verification and Strategy Synthesis for Zero-sum and Equilibria Properties of Concurrent Stochastic Games Author(s): Gabriel Santos Published in: PhD thesis, 2021 Publisher: University of Oxford Formal Verification of Deep Reinforcement Learning Agents Author(s): Edoardo Bacci Published in: PhD thesis, 2022 Publisher: University of Birmingham Sample complexity of robust learning against evasion attacks Author(s): Pascale Gourdeau Published in: 2023 Publisher: University of Oxford Tractable probabilistic models for causal learning and reasoning Author(s): Benjie Wang Published in: 2023 Publisher: University of Oxford Modelling Human-Like Decision Making and Social Trust Using Probabilistic Programming Author(s): Maciej Olejnik Published in: PhD thesis, 2022 Publisher: University of Oxford On the Adversarial Robustness of Gaussian Processes Author(s): Andrea Patane Published in: PhD thesis, 2021 Publisher: University of Oxford Robustness Evaluation of Deep Neural Networks with Provable Guarantees Author(s): Min Wu Published in: PhD thesis, 2020 Publisher: University of Oxford Adversarial robustness of Bayesian neural networks Author(s): Matthew Wicker Published in: PhD thesis, 2022 Publisher: University of Oxford Other (12) 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: Technical report Presented as poster at the NeurIPS 2019 Machine Learning with Guarantees Workshop., 2020 Publisher: Machine Learning DOI: 10.48550/arxiv.2005.00178 Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation Author(s): Artem Velikzhanin, Benjie Wang, Marta Kwiatkowska Published in: Technical report, 2022 Publisher: Department of Computer Science University of Oxford Robustness of Unsupervised Representation Learning without Labels Author(s): Aleksandar Petrov, Marta Kwiatkowska Published in: Technical report, under submission, 2022 Publisher: online PRISM-games 3.0 and 3.1 Author(s): Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos Published in: Software, 2020 Publisher: n/a DeepBayes Author(s): Matthew Wicker Published in: Software, 2022 Publisher: n/a Point-based Value Iteration for Neuro-Symbolic POMDPs Author(s): Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska Published in: 2023 Publisher: Technical report arXiv:2306.17639, arXiv. SafeDRL Author(s): David Parker Published in: Software, 2022 Publisher: n/a Uncertify: Attacks Against Neural Network Certification Author(s): Lorenz, Tobias; Kwiatkowska, Marta; Fritz, Mario Published in: Technical report, under submission, Issue 1, 2021 Publisher: Technical report - Under submission DOI: 10.48550/arxiv.2108.11299 Adversarial Robustness Certification for Bayesian Neural Networks Author(s): Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska Published in: 2023 Publisher: Technical report arXiv:2306.13614, arXiv PRISM 4.7 Author(s): David Parker, Gethin Norman, Marta Kwiatkowska Published in: Software, 2021 Publisher: n/a Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games Author(s): Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska Published in: Technical report, under submission, 2022 Publisher: arxiv webppl-cognitive-agents Author(s): Maciej Olejnik Published in: Software and data, 2022 Publisher: n/a Conference proceedings (43) 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 Publisher: PMLR Multi-Objective Controller Synthesis with Uncertain Human Preferences Author(s): Shenghui Chen, Kayla Boggess, David Parker, Lu Feng Published in: Proc. ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS'22), 2022 Publisher: ACM/IEEE International Conference on Cyber-Physical Systems DOI: 10.48550/arxiv.2105.04662 Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise Author(s): Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Marielle Stoelinga Published in: Proc. 36th AAAI Conference on Artificial Intelligence (AAAI'22), 2022 Publisher: AAAI Press DOI: 10.48550/arxiv.2110.12662 The King is Naked: on the Notion of Robustness for Natural Language Processing Author(s): Emanuele La Malfa, Marta Kwiatkowska Published in: Proc. 36th AAAI Conference on Artificial Intelligence (AAAI'22), 2022 Publisher: Association for the Advancement of Artificial Intelligence DOI: 10.48550/arxiv.2112.07605 Compositional Probabilistic and Causal Inference using Tractable Circuit Models Author(s): Benjie Wang and Marta Kwiatkowska Published in: Proceedings of The 26th International Conference on Artificial Intelligence and Statistics, PMLR, Issue 206, 2023, Page(s) 9488-9498, ISSN 2640-3498 Publisher: Journal of Machine Learning Research Robustness Guarantees for Bayesian Neural Networks Author(s): Marta Kwiatkowska Published in: In Proc. 19th International Conference on Quantitative Evaluation of SysTems (QEST 2022), 2022 Publisher: Springer When to trust AI: advances and challenges for certification of neural networks Author(s): Marta Kwiatkowska, Xiyue Zhang Published in: Proceedings of the 18th Conference on Computer Science and Intelligence Systems (FedCSIS 2023), 2023 Publisher: IEEE Symbolic Causal Inference via Operations on Probabilistic Circuits Author(s): Benjie Wang, Marta Kwiatkowska Published in: NeurIPS Workshop on Neuro Causal and Symbolic AI (nCSI), 2022 Publisher: NeurIPS Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. Author(s): Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska Published in: Proc. 31st International Joint Conference on Artificial Intelligence (IJCAI'22), 2022 Publisher: International Joint Conferences on Artificial Intelligence DOI: 10.48550/arxiv.2205.05793 Robust Decision Pipelines: Opportunities and Challenges for AI in Business Process Modelling Author(s): Marta Kwiatkowska Published in: BPM 2023 Forum, Utrecht, The Netherlands, 2023 Publisher: A Springer Nature Computer Science book series. Individual Fairness Guarantees for Neural Networks Author(s): Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska Published in: Proc. 31st International Joint Conference on Artificial Intelligence (IJCAI'22), 2022 Publisher: International Joint Conferences on Artificial Intelligence DOI: 10.48550/arxiv.2205.05763 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 Publisher: Association for Uncertainty in Artificial Intelligence (AUAI) 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 Publisher: ACM Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees Author(s): Daqian Shao and Marta Kwiatkowska Published in: 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Issue n/a, 2023 Publisher: IJCAI Sample complexity bounds for robustly learning decision lists against evasion attacks Author(s): Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska and James Worrell Published in: Proc. 31st International Joint Conference on Artificial Intelligence (IJCAI'22), 2022 Publisher: International Joint Conferences on Artificial Intelligence DOI: 10.48550/arxiv.2205.06127 Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. Author(s): Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan Published in: In Proc. 47th International Symposium on Mathematical Foundations of Computer Science (MFCS'22)., Issue 241 (4), 2022 Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik DOI: 10.4230/lipics.mfcs.2022.4 Verified Probabilistic Policies for Deep Reinforcement Learning Author(s): Edoardo Bacci, David Parker Published in: International Symposium NASA Formal Methods (NFM'22)., 2022 Publisher: Springer DOI: 10.48550/arxiv.2201.03698 When are Local Queries Useful for Robust Learning?https://papers.nips.cc/paper_files/paper/2022/hash/db6461eaf0eaeaad1d9c4a70e4818cbd-Abstract-Conference.html Author(s): Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell Published in: NeurIPS 2022, 2022 Publisher: NeurIPS paper Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games Author(s): Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska Published in: Proc. 38th Conference on Uncertainty in Artificial Intelligence (UAI'22), 2022 Publisher: AUAI Press Certifiers Make Neural Networks Vulnerable to Availability Attacks Author(s): Tobias Lorenz, Marta Kwiatkowska and Mario Fritz Published in: 16th ACM Workshop on Artificial Intelligence and Security (AISec 2023), 2023 Publisher: AISec 2023 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, ISBN 978-3-030-57627-1 Publisher: Springer International Publishing DOI: 10.1007/978-3-030-57628-8_14 DRCFS: Doubly Robust Causal Feature Selection Author(s): Francesco Quinzan, Ashkan Soleymani, Patrik Jaillet, Cristian R. Rojas, Stefan Bauer Published in: Fortieth International Conference on Machine Learning, ICML 2023, 2023 Publisher: ICML 2023 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 Publisher: Springer 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 Publisher: Springer Robust anytime learning of Markov decision processes Author(s): Marnix Suilen, Thiago D. Simão, Nils Jansen, David Parker Published in: In Proc. 36th Annual Conference on Neural Information Processing Systems (NeurIPS'22), 2022 Publisher: NeurIPS 2022 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 Publisher: IJCAI Tractable Uncertainty for Structure Learning Author(s): Benjie Wang, Matthew Wicker, Marta Kwiatkowska Published in: Proc. 39th International Conference on Machine Learning (ICML'22), 2022 Publisher: PMLR Bias Out-of-the-Box: An Empirical Analysis of Intersectional Occupational Biases in Popular Generative Language Models Author(s): Hannah Rose Kirk, yennie jun, Filippo Volpin, Haider Iqbal, Elias Benussi, Frederic Dreyer, Aleksandar Shtedritski, Yuki Asano Published in: Advances in Neural Information Processing Systems 34 (NeurIPS 2021), 2021 Publisher: PMLR Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper) Author(s): Marta Kwiatkowska Published in: 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik 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 Publisher: IEEE 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, ISBN 978-3-030-53290-1 Publisher: Springer International Publishing DOI: 10.1007/978-3-030-53291-8_25 Assessing Robustness of Text Classification through Maximal Safe Radius Computation Author(s): Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska Published in: Findings of the Association for Computational Linguistics: EMNLP 2020, 2020, Page(s) 2949-2968 Publisher: Association for Computational Linguistics DOI: 10.18653/v1/2020.findings-emnlp.266 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 Publisher: IJCAI Multi-agent verification and control with probabilistic model checking Author(s): David Parker Published in: In . Lecture Notes in Computer Science. Springer., 2023, Page(s) https://www.qest.org/qest2023/ Publisher: Spinger DOI: 10.48550/arxiv.2308.02829 Learning Dynamics and Generalization in Reinforcement Learning Author(s): Clare Lyle, Mark Rowland, Will Dabney, Marta Kwiatkowska, Yarin Gal Published in: Proc. 39th International Conference on Machine Learning (ICML'22), 2022 Publisher: PMLR Correlated equilibria and fairness in concurrent stochastic games Author(s): Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos Published in: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, 2022, ISSN 0302-9743 Publisher: Springer 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 Publisher: IJCAI 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 Publisher: PMLR 119 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 Publisher: PMLR 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 Publisher: PMLR Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments Author(s): Pian Yu, Gianmarco Fedeli and Dimos V. Dimarogonas Published in: 9th International Conference on Control, Decision and Information Technologies (CoDIT 2023), 2023 Publisher: EEE Xplore DOI: 10.48550/arxiv.2307.06000 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, ISBN 978-1-7281-7168-5 Publisher: IEEE DOI: 10.1109/cvpr42600.2020.00039 Tractable Uncertainty for Structure Learning Author(s): Benjie Wang, Matthew Wicker, Marta Kwiatkowska Published in: In 5th Workshop on Tractable Probabilistic Modelling (TPM). This paper was accepted for ICML 2022, Issue 162, 2022, Page(s) 23131-23150 Publisher: PMLR Book chapters (1) Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games Author(s): Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos Published in: Principles of Systems Design, 2022, ISBN 978-3-031-22336-5 Publisher: Springer Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available
