FUN2MODEL - Publications
Sort by: date, type, title
26 publications:
-
[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+21]
Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts and Marta Kwiatkowska.
Adversarial Robustness Guarantees for Gaussian Processes.
Technical report , arXiv. Under Submission.
April 2021.
[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]
-
[KNPS20c]
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]
-
[LKF21]
Tobias Lorenz, Marta Kwiatkowska and Mario Fritz.
Backdoor Attacks on Network Certification via Data Poisoning.
Technical report , ArXiv. Under submission.
August 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]
-
[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]
-
[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]
-
[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.
May 2020.
[pdf]
[bib]
-
[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]
-
[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: A Progress Report.
Applied Intelligence, Springer.
August 2021.
[pdf]
[bib]
-
[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]
-
[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]
-
[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]
-
[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]
Sort by: date, type, title
