FUN2MODEL - Publications
Sort by: date, type, title
70 publications:
-
[WPL+23]
Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska.
Adversarial Robustness Certification for Bayesian Neural Networks.
Technical report arXiv:2306.13614, arXiv. Paper under submission.
2023.
[pdf]
[bib]
https://arxiv.org/abs/2306.13614
-
[BPL+20]
Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska and Stephen Roberts.
Adversarial Robustness Guarantees for Classification with Gaussian Processes.
In 23rd International Conference on Artificial Intelligence and Statistics (AISTATS'20), PMLR.
August 2020.
[pdf]
[bib]
-
[PBL+22]
Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts and Marta Kwiatkowska.
Adversarial Robustness Guarantees for Gaussian Processes.
Journal of Machine Learning Research, 23, pages 1-55.
2022.
[pdf]
[bib]
-
[Wic22]
Matthew Wicker.
Adversarial Robustness of Bayesian Neural Networks.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2022.
[pdf]
[bib]
-
[CKL21]
Luca Cardelli, Marta Kwiatkowska and Luca Laurenti.
A Language for Modeling And Optimizing Experimental Biological Protocols.
Computation, MDPI.
October 2021.
[pdf]
[bib]
-
[LWL+20]
Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn and Marta Kwiatkowska.
Assessing Robustness of Text Classification through Maximal Safe Radius Computation.
In Conference on Empirical Methods in Natural Language Processing (EMNLP'20), ACL.
November 2020.
[pdf]
[bib]
-
[KNPS21]
Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos.
Automated Verification of Concurrent Stochastic Systems.
Formal Methods in System Design, Springer.
January 2021.
[pdf]
[bib]
-
[San21]
Gabriel H.R. Santos.
Automatic Verification and Strategy Synthesis for Zero-sum and Equilibria Properties of Concurrent Stochastic Games.
Ph.D. thesis, Department of Computer Science, University of Oxford.
March 2021.
[pdf]
[bib]
-
[WLP+21]
Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang and Marta Kwiatkowska.
Bayesian Inference with Certifiable Adversarial Robustness.
In International Conference on Artificial Intelligence and Statistics (AISTATS'21), PMLR.
April 2021.
[pdf]
[bib]
-
[VWM22]
Artem Velikzhanin, Benjie Wang and Marta Kwiatkowska.
Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation.
Technical report , Computer Science, University of Oxford.
2022.
[pdf]
[bib]
https://arxiv.org/abs/2211.15258
-
[KJI+21]
Hannah Rose Kirk, Yennie Jun, Haider Iqbal, Elias Benussi, Filippo Volpin, Frederic A. Dreyer, Aleksandar Shtedritski, Yuki M. Asano.
Bias Out-of-the-Box: An Empirical Analysis of Intersectional Occupational Biases in Popular Generative Language Models.
In Conference on Neural Information Processing Systems (NeurIPS'21). To appear.
December 2021.
[pdf]
[bib]
-
[WLP+21a]
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate and Marta Kwiatkowska.
Certification of Iterative Predictions in Bayesian Neural Networks.
In 37th Conference on Uncertainty in Artificial Intelligence (UAI'21).
May 2021.
[pdf]
[bib]
-
[LKF23]
Tobias Lorenz, Marta Kwiatkowska and Mario Fritz.
Certifiers Make Neural Networks Vulnerable to Availability Attacks.
In 16th ACM Workshop on Artificial Intelligence and Security (AISec 2023). To appear.
2023.
[pdf]
[bib]
-
[WK23]
Benjie Wang and Marta Kwiatkowska.
Compositional Probabilistic and Causal Inference using Tractable Circuit Models.
In Proc. 26th International Conference on Artificial Intelligence and Statistics (AISTATS).
2023.
[pdf]
[bib]
-
[KNPS22]
Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos.
Correlated Equilibria and Fairness in Concurrent Stochastic Games.
In Proc. 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22), volume 13244 of LNCS, pages 60–78, Springer.
April 2022.
[pdf]
[bib]
-
[QSJ+23]
Francesco Quinzan, Ashkan Soleymani, Patrik Jaillet, Cristian R. Rojas, Stefan Bauer.
DRCFS: Doubly Robust Causal Feature Selection.
In ICML2023 Fortieth International Conference on Machine Learning. To appear.
2023.
[pdf]
[bib]
-
[YSD+22]
Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker and Marta Kwiatkowska.
Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games.
In Proc. 38th Conference on Uncertainty in Artificial Intelligence (UAI'22), AUAI Press.
August 2022.
[pdf]
[bib]
-
[Bac22]
Edoardo Bacci.
Formal Verification of Deep Reinforcement Learning Agents.
Ph.D. thesis, School of Computer Science, University of Birmingham.
March 2022.
[pdf]
[bib]
-
[BPW+22]
Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti and Marta Kwiatkowska.
Individual Fairness Guarantees for Neural Networks.
In Proc. 31st International Joint Conference on Artificial Intelligence (IJCAI'22). To appear.
July 2022.
[pdf]
[bib]
-
[ZLS+20]
Amy Zhang, Clare Lyle, Shagun Sodhani, Angelos Filos, Marta Kwiatkowska, Joelle Pineau, Yarin Gal, Doina Precup.
Invariant Causal Prediction for Block MDPs.
In International Conference on Machine Learning (ICML'20), PMLR.
July 2020.
[pdf]
[bib]
-
[LRD+22]
Clare Lyle, Mark Rowland, Will Dabney, Marta Kwiatkowska and Yarin Gal.
Learning Dynamics and Generalization in Reinforcement Learning.
In Proc. 39th International Conference on Machine Learning (ICML'22). To appear.
July 2022.
[pdf]
[bib]
-
[Ole22]
Maciej Olejnik.
Modelling Human-Like Decision Making and Social Trust Using Probabilistic Programming.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2022.
[pdf]
[bib]
-
[Par23]
David Parker.
Multi-Agent Verification and Control with Probabilistic Model Checking.
In Proc. 20th International Conference on Quantitative Evaluation of SysTems (QEST'23), Springer.
2023.
[pdf]
[bib]
-
[CBPF22]
Shenghui Chen, Kayla Boggess, David Parker and Lu Feng.
Multi-Objective Controller Synthesis with Uncertain Human Preferences.
In Proc. ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS'22), ACM.
May 2022.
[pdf]
[bib]
-
[KNPS20b]
Marta Kwiatkowska, Gethin Norman, David Parker, and Gabriel Santos.
Multi-player Equilibria Verification for Concurrent Stochastic Games.
In 17th International Conference on Quantitative Evaluation of SysTems (QEST'20), Springer.
August 2020.
[pdf]
[bib]
-
[BHK+20]
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, and Zhen Zhang.
On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report.
In 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20), Springer.
October 2020.
[pdf]
[bib]
-
[LZM+21]
Emanuele La Malfa, Agnieszka Zbrzezny, Rhiannon Michelmore, Nicola Paoletti and Marta Kwiatkowska.
On Guaranteed Optimal Robust Explanations for NLP Models.
In 30th International Joint Conference on Artificial Intelligence (IJCAI'21).
August 2021.
[pdf]
[bib]
-
[Pat21]
Andrea Patane.
On the Adversarial Robustness of Gaussian Processes.
Ph.D. thesis, Department of Computer Science, University of Oxford.
February 2021.
[pdf]
[bib]
-
[LVK+20]
Clare Lyle, Mark van der Wilk, Marta Kwiatkowska, Yarin Gal and Benjamin Bloem-Reddy.
On the Benefits of Invariance in Neural Networks.
Technical report , arXiv. Presented as poster at the NeurIPS 2019 Machine Learning with Guarantees Workshop.
May 2020.
[pdf]
[bib]
-
[GKK+21]
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska and James Worrell.
On the Hardness of Robust Classification.
Journal of Machine Learning Research (JMLR), 22(273), pages 1-29.
October 2021.
[pdf]
[bib]
-
[Fal22]
Rhiannon Falconmore.
On the Role of Explainability and Uncertainty in Ensuring Safety of AI Applications.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2022.
[pdf]
[bib]
-
[GPL+22]
Shadi Ghiasi, Andrea Patane, Luca Laurenti, Claudio Gentili, Enzo Pasquale Scilingo, Alberto Greco and Marta Kwiatkowska.
Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States.
EEE Journal of Biomedical and Health Informatics (J-BHI).
2022.
[pdf]
[bib]
-
[SPH+22]
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, David Parker and Lu Feng.
Planning for Automated Vehicles with Human Trust.
Association for Computing Machinery (ACM) Transactions on Cyber-Physical Systems. To appear September.
2022.
[pdf]
[bib]
-
[YSN+23]
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska.
Point-based Value Iteration for Neuro-Symbolic POMDPs.
Technical report arXiv:2306.17639, arXiv. Paper under submission.
2023.
[pdf]
[bib]
https://arxiv.org/abs/2306.17639
-
[KNPS20]
Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos.
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time.
In 32nd International Conference on Computer Aided Verification (CAV'20), Springer.
July 2020.
[pdf]
[bib]
-
[BP20]
Edoardo Bacci and David Parker.
Probabilistic Guarantees for Safe Deep Reinforcement Learning.
In 18th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'20), Springer.
September 2020.
[pdf]
[bib]
-
[KNP22]
Marta Kwiatkowska, Gethin Norman and David Parker.
Probabilistic Model Checking and Autonomy.
Annual Review of Control, Robotics, and Autonomous Systems, 5, Annual Reviews, 5, pages 385-410.
May 2022.
[pdf]
[bib]
-
[KNP+22]
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos and Rui Yan.
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges.
In Proc. 47th International Symposium on Mathematical Foundations of Computer Science (MFCS'22).
August 2022.
[pdf]
[bib]
-
[WLPK20]
Matthew Wicker, Luca Laurenti, Andrea Patane and Marta Kwiatkowska.
Probabilistic Safety for Bayesian Neural Networks.
In 36th Conference on Uncertainty in Artificial Intelligence (UAI'20), PMLR.
August 2020.
[pdf]
[bib]
-
[WLK21]
Benjie Wang, Clare Lyle and Marta Kwiatkowska.
Provable Guarantees on the Robustness of Decision Rules to Causal Interventions.
In 30th International Joint Conference on Artificial Intelligence (IJCAI'21).
August 2021.
[pdf]
[bib]
-
[AGH+21]
Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples and Michael Wooldridge.
Rational verification: game-theoretic verification of multi-agent systems.
Applied Intelligence, Springer.
August 2021.
[pdf]
[bib]
-
[YFD23]
Pian Yu, Gianmarco Fedeli, Dimos V. Dimarogonas.
Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments.
In 9th International Conference on Control, Decision and Information Technologies (CoDIT 2023).
2023.
[pdf]
[bib]
-
[SSJP22]
Marnix Suilen, Thiago D. Simão, Nils Jansen and David Parker.
Robust Anytime Learning of Markov Decision Processes.
In Proc. 36th Annual Conference on Neural Information Processing Systems (NeurIPS'22).
November 2022.
[pdf]
[bib]
-
[BRA+23]
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Marielle Stoelinga and Nils Jansen.
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.
Journal of Artificial Intelligence Research, 76, pages 341-391.
January 2023.
[pdf]
[bib]
-
[Kwi23]
Marta Kwiatkowska.
Robust Decision Pipelines: Opportunities and Challenges for AI in Business Process Modelling.
In BPM 2023 Forum, Utrecht, The Netherlands, A Springer Nature Computer Science book series. To appear.
2023.
[pdf]
-
[Wu20]
Min Wu.
Robustness Evaluation of Deep Neural Networks with Provable Guarantees.
Ph.D. thesis, Department of Computer Science, University of Oxford.
May 2020.
[pdf]
[bib]
-
[Kwi22]
Marta Kwiatkowska.
Robustness Guarantees for Bayesian Neural Networks.
In Proc. 19th International Conference on Quantitative Evaluation of SysTems (QEST 2022).
2022.
[pdf]
[bib]
-
[WWK22]
Hjalmar Wijk, Benjie Wang and Marta Kwiatkowska.
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits.
In Proc. 31st International Joint Conference on Artificial Intelligence (IJCAI'22). To appear.
July 2022.
[pdf]
[bib]
-
[WK20]
Min Wu and Marta Kwiatkowska.
Robustness Guarantees for Deep Neural Networks on Videos.
In IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR'20), IEEE.
June 2020.
[pdf]
[bib]
-
[PK22]
Aleksandar Petrov, Marta Kwiatkowska.
Robustness of Unsupervised Representation Learning without Labels.
Technical report arXiv:2210.04076, arXiv.
2022.
[pdf]
[bib]
https://doi.org/10.48550/arXiv.2210.04076
-
[Kwi20]
Marta Kwiatkowska.
Safety and Robustness for Deep Learning with Provable Guarantees.
In 35th IEEE/ACM International Conference on Automated Software Engineering, (ASE’20), ACM.
September 2020.
[pdf]
[bib]
-
[PLP+20]
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate and Stephen Roberts.
Safety Guarantees for Iterative Predictions with Gaussian Processes.
In 59th Conference on Decision and Control (CDC'20), IEEE.
December 2020.
[pdf]
[bib]
-
[Kwi19]
Marta Kwiatkowska.
Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper).
In 30th International Conference on Concurrency Theory (CONCUR'19), Dagstuhl Publishing.
August 2019.
[pdf]
[bib]
-
[GKKW22]
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska and James Worrell.
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks.
In Proc. 31st International Joint Conference on Artificial Intelligence (IJCAI'22). To appear.
July 2022.
[pdf]
[bib]
-
[Gou23]
Pascale Gourdeau.
Sample complexity of robust learning against evasion attacks.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2023.
[pdf]
-
[SK23]
Daqian Shao, Marta Kwiatkowska.
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees.
In In Proc. 32nd International Joint Conference on Artificial Intelligence 2023 (IJCAI). Paper accepted IJCAI .
2023.
[pdf]
[bib]
-
[BAJ+22]
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala and Marielle Stoelinga.
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.
In Proc. 36th AAAI Conference on Artificial Intelligence (AAAI'22).
March 2022.
[pdf]
[bib]
-
[YSN+22]
Rui Yan, Gabriel Santos, Gethin Norman, David Parker and Marta Kwiatkowska.
Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games.
Technical report arxiv:2202.06255, arXiv.
2022.
[pdf]
[bib]
https://arxiv.org/abs/2202.06255
-
[WK22]
Benjie Wang and Marta Kwiatkowska.
Symbolic Causal Inference via Operations on Probabilistic Circuits.
In NeurIPS Workshop on Neuro Causal and Symbolic AI (nCSI'22).
2022.
[pdf]
[bib]
-
[KNPS22b]
Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos.
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games.
In Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, volume 13660 of LNCS, Springer. To appear.
2022.
[pdf]
[bib]
-
[LK22]
Emanuele La Malfa and Marta Kwiatkowska.
The King is Naked: on the Notion of Robustness for Natural Language Processing.
In Proc. 36th AAAI Conference on Artificial Intelligence (AAAI'22). To appear.
March 2022.
[pdf]
[bib]
-
[Wan23]
Benjie Wang.
Tractable probabilistic models for causal learning and reasoning.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2023.
[pdf]
[bib]
-
[WWK22c]
Benjie Wang and Matthew Wicker and Marta Kwiatkowska.
Tractable Uncertainty for Structure Learning.
In 5th Workshop on Tractable Probabilistic Modelling (TPM). This paper was accepted for ICML 2022.
2022.
[pdf]
[bib]
-
[WWK22b]
Benjie Wang, Matthew Wicker and Marta Kwiatkowska.
Tractable Uncertainty for Structure Learning.
In Proc. 39th International Conference on Machine Learning (ICML'22). To appear.
July 2022.
[pdf]
[bib]
-
[LKF21]
Tobias Lorenz, Marta Kwiatkowska and Mario Fritz.
Uncertify: Attacks Against Neural Network Certification.
Technical report , ArXiv. Under submission.
August 2021.
[pdf]
[bib]
-
[BP22]
Edoardo Bacci and David Parker.
Verified Probabilistic Policies for Deep Reinforcement Learning.
In Proc. 14th International Symposium NASA Formal Methods (NFM'22), volume 13260 of LNCS, pages 193-212, Springer.
May 2022.
[pdf]
[bib]
-
[BGP21]
Edoardo Bacci, Mirco Giacobbe and David Parker.
Verifying Reinforcement Learning up to Infinity.
In 30th International Joint Conference on Artificial Intelligence (IJCAI'21).
August 2021.
[pdf]
[bib]
-
[WZZS23]
Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun.
Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks.
Journal of Logical and Algebraic Methods in Programming, Elsevier.
2023.
[pdf]
[bib]
-
[GKKW22b]
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell.
When are Local Queries Useful for Robust Learning?.
In Proc. 36th Conference on Neural Information Processing Systems (NeurIPS'22).
2022.
[pdf]
[bib]
-
[KZ23]
Marta Kwiatkowska, Xiyue Zhang.
When to Trust AI: Advances and Challenges for Certification of Neural Networks.
In Proceedings of the 18th Conference on Computer Science and Intelligence Systems (FedCSIS 2023). To appear.
2023.
[pdf]
[bib]
Sort by: date, type, title
