Project Publications
Sort by: date, type, title
59 publications:
-
[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]
-
[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]
-
[MWL+20]
Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska.
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control.
International Conference on Robotics and Automation (ICRA'20), IEEE.
2020.
[pdf]
[bib]
-
[LLA+20]
Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, and Marta Kwiatkowska.
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes.
IEEE Transactions on Automatic Control, IEEE.
February 2020.
[pdf]
[bib]
https://doi.org/10.1109/TAC.2020.2975028
-
[HKO19]
Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik.
Reasoning about Cognitive Trust in Stochastic Multiagent Systems.
ACM Transactions on Computational Logic.
2019.
[pdf]
[bib]
-
[WWR+19]
Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang and Marta Kwiatkowska.
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees.
Theoretical Computer Science.
2019.
[pdf]
[bib]
-
[ELM+18]
S. Edelkamp, M. Lahijanian, D. Magazzeni, and E. Plaku.
Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multi-Goal Problems with Dynamics and Time Windows.
IEEE Robotics and Automation Letters, IEEE.
2018.
[pdf]
[bib]
-
[LSM+18]
M. Lahijanian, M. Svorenova, A. Morye, B. Yeomans, D. Rao, I. Posner, P. Newman, H. Kress-Gazit, and M. Kwiatkowska.
Resource-Performance Trade-off Analysis for Mobile Robots.
IEEE Robotics and Automation Letters , IEEE.
2018.
[pdf]
[bib]
-
[CCG+18]
R. Calinescu, M. Ceska, S. Gerasimou, M. Kwiatkowska, and N. Paoletti.
Efficient Synthesis of Robust Models for Stochastic Systems.
Journal of Systems and Software , Elsevier.
2018.
[pdf]
[bib]
-
[BKW17]
N. Basset, M. Kwiatkowska and C. Wiltsche.
Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives.
Information and Computation. To appear.
2017.
[pdf]
[bib]
-
[KPW17]
M. Kwiatkowska, D. Parker and C. Wiltsche.
PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives.
International Journal on Software Tools for Technology Transfer, Springer. To appear.
2017.
[pdf]
[bib]
-
[JKNP17]
A. Jovanovic, M. Kwiatkowska, G. Norman and Q. Peyras.
Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata.
Theoretical Computer Science, 669, pages 1-21, Elsevier.
March 2017.
[pdf]
[bib]
-
[SKCCCB16]
M. Svorenova, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cerna, C. Belta.
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games.
Nonlinear Analysis: Hybrid Systems, 23, pages 230-253, Elsevier.
February 2017.
[bib]
-
[SK16]
M. Svorenova and M. Kwiatkowska.
Quantitative Verification and Strategy Synthesis for Stochastic Games.
European Journal of Control, 30, pages 15-30, Elsevier.
July 2016.
[pdf]
[bib]
-
[LMF+16]
Morteza Lahijanian and Matthew R. Maly and Dror Fried and Lydia E. Kavraki and Hadas Kress-Gazit and Moshe Y. Vardi.
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees.
IEEE Transactions on Robotics, 32(3), pages 538--599, IEEE.
May 2016.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[ELK19]
Francisco Eiras, Morteza Lahijanian, and Marta Kwiatkowska.
Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture.
In Proceedings at IEEE CAVS 2019.
2019.
[pdf]
[bib]
https://arxiv.org/abs/1907.09603
-
[CKLP19]
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti and Andrea Patane.
Robustness Guarantees for Bayesian Inference with Gaussian Processes.
In Proc. Thirty-Third AAAI Conference on Artificial Intelligence (AAAI'19).
2019.
[pdf]
[bib]
-
[RWS+19]
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening and Marta Kwiatkowska.
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.
In Proc. International Joint Conference on Artificial Intelligence (IJCAI-19).
2019.
[pdf]
[bib]
-
[CLL+19]
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska and Luca Cardelli.
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems.
In Proc. 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC'19), ACM.
2019.
[pdf]
[bib]
-
[CKL+19a]
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, and Matthew Wicker.
Statistical Guarantees for the Robustness of Bayesian Neural Networks.
In Proc. International Joint Conference on Artificial Intelligence (IJCAI).
2019.
[pdf]
-
[AKM+19]
Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano and Sasha Rubin.
Probabilistic Strategy Logic.
In Proc. International Joint Conference on Artificial Intelligence (IJCAI-19).
2019.
[pdf]
[bib]
-
[WK19]
Matthew Wicker and Marta Kwiatkowska.
Robustness of 3D Deep Learning in an Adversarial Setting.
In Proceedings, Computer Vision and Pattern Recognition (CVPR).
2019.
[pdf]
[bib]
-
[WLL+19]
Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, and Marta Kwiatkowska.
Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles.
In Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems.
2019.
[pdf]
[bib]
-
[KNPS19]
Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos.
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games.
In Proc. 23rd International Symposium on Formal Methods (FM'19), Springer.
October 2019.
[pdf]
[bib]
-
[Kwi19a]
Marta Kwiatkowska.
Safety and Robustness for Deep Learning with Provable Guarantees (Keynote).
In Proceedings of the ACM Joint Meeting on European Software Engineering, Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019., pages 2.
September 2019.
[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]
-
[RPL+18]
S. Rosa, A. Patane, X. Lu, and N. Trigoni.
CommonSense: Collaborative learning of scene semantics by robots and humans.
In 1st International Workshop on Internet of People, Assistive Robots and Things, Association for Computing Machinery.
2018.
[pdf]
[bib]
-
[SWR+18]
Y. Sun, M. Wu, W. Ruan, X. Huang, M. Kwiatkowska and D. Kroening.
Concolic Testing for Deep Neural Networks.
In Proc. 33rd IEEE/ACM International Conference on Automated Software Engineering, ACM.
2018.
[pdf]
[bib]
-
[LSM+18b]
M. Lahijanian, M. Svorenova, A. Morye, B. Yeomans, D. Rao, I. Posner, P. Newman, H. Kress-Gazit, and M. Kwiatkowska.
Resource-Performance Trade-off Analysis for Mobile Robots.
In Proc. 2018 IEEE International Conference on Robotics and Automation, IEEE.
2018.
-
[RHK18]
W. Ruan, X. Huang, and M. Kwiatkowska.
Reachability Analysis of Deep Neural Networks with Provable Guarantees.
In Proc. 27th International Joint Conference on Artificial Intelligence (IJCAI'18).
2018.
[pdf]
[bib]
-
[WHK18]
M. Wicker, X. Huang, and M. Kwiatkowska.
Feature-Guided Black-Box Safety Testing of Deep Neural Networks.
In Proc. 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18), Springer.
2018.
[pdf]
[bib]
-
[KNP+18]
M. Kwiatkowska, G. Norman, D. Parker, and G. Santos.
Automated Verification of Concurrent Stochastic Games.
In Proc. 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018), Springer.
2018.
[pdf]
[bib]
-
[PHL+18]
E. Pairet, J. D. Hernandez, M. Lahijanian, and M. Carreras.
Uncertainty-based Online Mapping and Motion Planning for Marine Robotics Guidance.
In IEEE Int. Conf. on Intelligent Robots and Systems (IROS), IEEE.
October 2018.
[bib]
-
[KNP17b]
M. Kwiatkowska, G. Norman and D. Parker.
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata.
In KiMfest 2017, Springer. To appear.
2017.
[pdf]
[bib]
-
[CCF+17]
L. Cardelli, M. Ceska, M. Fraenzle, M. Kwiatkowska, L. Laurenti, N. Paoletti and M. Whitby.
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks.
In Proc. 29th International Conference on Computer Aided Verification (CAV), Springer. To appear.
2017.
[pdf]
[bib]
-
[KNP17a]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Model Checking: Advances and Applications.
In R. Drechsler (editor), Formal System Verification.
2017.
[pdf]
[bib]
-
[HKW+17]
X. Huang, M. Kwiatkowska, S. Wang and M. Wu.
Safety Verification of Deep Neural Networks.
In Proc. 29th International Conference on Computer Aided Verification (CAV), Springer.
2017.
[pdf]
[bib]
-
[HK17]
X. Huang and M. Kwiatkowska.
Reasoning about Cognitive Trust in Stochastic Multiagent Systems.
In Proc. AAAI Conference on Artificial Intelligence (AAAI'17), pages 3768-3774.
2017.
[pdf]
[bib]
-
[Kwi17]
M. Kwiatkowska.
Cognitive Reasoning and Trust in Human-Robot Interactions.
In Proc. 14th Annual Conference on Theory and Applications of Models of Computation (TAMC 2017), pages 3-11, Springer.
2017.
[pdf]
[bib]
-
[HLK+17]
Keling He and Morteza Lahijanian and Lydia E. Kavraki and Moshe Y. Vardi.
Reactive Synthesis for Finite Tasks Under Resource Constraints.
In International Conference on Intelligent Robots and Systems (IROS), IEEE.
September 2017.
[pdf]
[bib]
-
[HHH+17]
Ernst Moritz Hahn and Vahid Hashemi and Holger Hermanns and Morteza Lahijanian and Andrea Turrini.
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes.
In International Conference on Quantitative Evaluation of SysTems (QEST), Springer.
September 2017.
[pdf]
[bib]
-
[Kwi16b]
M. Kwiatkowska.
Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems.
In 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS), pages 1-5, IEEE.
2016.
[pdf]
[bib]
-
[HK16]
X. Huang, M. Kwiatkowska.
Model Checking Probabilistic Knowledge: A PSPACE Case.
In Proc. AAAI Conference on Artificial Intelligence (AAAI'16), pages 2516-2522.
2016.
[pdf]
[bib]
-
[LK16b]
M. Lahijanian and M. Kwiatkowska.
Social Trust: a Major Challenge for the Future of Autonomous Systems.
In AAAI Fall Symposium on Cross-Disciplinary Challenges for Autonomous Systems, pages 189-193, AAAI, AAAI Press.
2016.
[pdf]
[bib]
-
[ACK16]
A. Abate, M. Ceska, M. Kwiatkowska.
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations.
In Proc. 14th 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16), pages 13-31, Springer.
2016.
[pdf]
[bib]
-
[TSBC16]
E. Tesarova, M. Svorenova, J. Barnat and I. Cerna.
Optimal Observation Mode Scheduling for Systems under Temporal Constraints.
In Proc. 2016 American Control Conference (ACC'16), pages 1099-1104.
2016.
[pdf]
[bib]
-
[LK16]
M. Lahijanian and M. Kwiatkowska.
Specification Revision for Markov Decision Processes with Optimal Trade-off.
In Proc. 55th Conference on Decision and Control (CDC 2016), pages 7411-7418, IEEE.
2016.
[pdf]
[bib]
-
[Kwi16]
M. Kwiatkowska.
Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice.
In Proc. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), pages 4:1-4:18, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
2016.
[pdf]
[bib]
-
[KPW16]
M. Kwiatkowska and D. Parker and C. Wiltsche.
PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games.
In Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16), pages 560-566, Springer.
2016.
[pdf]
[bib]
Sort by: date, type, title
