Marta Kwiatkowska

218 papers A* 31A 10B 7C 3Journal 127Unranked 38

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Towards Probabilistic Strategic Timed CTL. CoRR Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2025	J	`jnl`	A Unifying Framework for Causal Imitation Learning with Hidden Confounders. CoRR Daqian Shao, Thomas Kleine Buening, Marta Kwiatkowska
2025	J	`jnl`	About Time: Model-free Reinforcement Learning with Timed Reward Machines. CoRR Anirban Majumdar, Ritam Raha, Rajarshi Roy, David Parker, Marta Kwiatkowska
2025	J	`jnl`	Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations? CoRR Pedro Orvalho, Marta Kwiatkowska
2025	J	`jnl`	Double Machine Learning for Conditional Moment Restrictions: IV Regression, Proximal Causal Learning and Beyond. CoRR Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska
2025	J	`jnl`	Efficient Preimage Approximation for Neural Network Certification. CoRR Anton Björklund, Mykola Zaitsev, Marta Kwiatkowska
2025	J	`jnl`	Exact Verification of Graph Neural Networks with Incremental Constraint Solving. CoRR Minghao Liu, Chia-Hsuan Lu, Marta Kwiatkowska
2025	J	`jnl`	Learning Algorithms for Verification of Markov Decision Processes. TheoretiCS Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2025	A*	`conf`	Learning Probabilistic Temporal Logic Specifications for Stochastic Systems. IJCAI Rajarshi Roy, Yash Pote, Dave Parker, Marta Kwiatkowska
2025	J	`jnl`	Learning Probabilistic Temporal Logic Specifications for Stochastic Systems. CoRR Rajarshi Roy, Yash Pote, David Parker, Marta Kwiatkowska
2025	J	`jnl`	Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits. CoRR Pedro Orvalho, Marta Kwiatkowska, Mikolás Janota, Vasco Manquinho
2025	J	`jnl`	PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks. J. Mach. Learn. Res. Xiyue Zhang, Benjie Wang, Marta Kwiatkowska, Huan Zhang
2025	A*	`conf`	Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty. ICRA Pian Yu, Yong Li, David Parker, Marta Kwiatkowska
2025	J	`jnl`	Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty. CoRR Pian Yu, Yong Li, David Parker, Marta Kwiatkowska
2025	—	`conf`	Probabilistic Model Checking: Applications and Trends. Principles of Formal Quantitative Analysis Marta Kwiatkowska, Gethin Norman, David Parker
2025	J	`jnl`	Probabilistic Model Checking: Applications and Trends. CoRR Marta Kwiatkowska, Gethin Norman, David Parker
2025	A	`conf`	Probabilistic Timed ATL. AAMAS Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2025	J	`jnl`	PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C. CoRR Pedro Orvalho, Marta Kwiatkowska
2025	J	`jnl`	Strategyproof Reinforcement Learning from Human Feedback. CoRR Thomas Kleine Buening, Jiarui Gan, Debmalya Mandal, Marta Kwiatkowska
2024	—	`conf`	Adversarial Robustness Certification for Bayesian Neural Networks. FM (1) Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska
2024	—	`conf`	Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks. ECML/PKDD (7) Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn
2024	J	`jnl`	Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks. CoRR Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn
2024	J	`jnl`	BiCert: A Bilinear Mixed Integer Programming Formulation for Precise Certified Bounds Against Data Poisoning Attacks. CoRR Tobias Lorenz, Marta Kwiatkowska, Mario Fritz
2024	—	`conf`	Expectation vs. Reality: Towards Verification of Psychological Games. Principles of Verification (2) Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2024	J	`jnl`	Expectation vs. Reality: Towards Verification of Psychological Games. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2024	A*	`conf`	FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection. ASE Jialuo Chen, Jingyi Wang, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen, Peng Cheng
2024	J	`jnl`	FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection. CoRR Jialuo Chen, Jingyi Wang, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen, Peng Cheng
2024	—	`conf`	FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks. GCPR (1) Tobias Lorenz, Marta Kwiatkowska, Mario Fritz
2024	J	`jnl`	FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks. CoRR Tobias Lorenz, Marta Kwiatkowska, Mario Fritz
2024	J	`jnl`	HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2024	—	`conf`	HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms. L4DC Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2024	J	`jnl`	Learning Algorithms for Verification of Markov Decision Processes. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2024	A*	`conf`	Learning Decision Policies with Instrumental Variables through Double Machine Learning. ICML Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska
2024	J	`jnl`	Learning Decision Policies with Instrumental Variables through Double Machine Learning. CoRR Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska
2024	J	`jnl`	PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks. CoRR Xiyue Zhang, Benjie Wang, Marta Kwiatkowska, Huan Zhang
2024	—	`conf`	Partially Observable Stochastic Games with Neural Perception Mechanisms. FM (1) Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2024	J	`jnl`	Probabilistic reach-avoid for Bayesian neural networks. Artif. Intell. Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2024	—	`conf`	Provable Preimage Under-Approximation for Neural Networks. TACAS (3) Xiyue Zhang, Benjie Wang, Marta Kwiatkowska
2024	J	`jnl`	Risk-Averse Certification of Bayesian Neural Networks. CoRR Xiyue Zhang, Zifan Wang, Yulong Gao, Licio Romao, Alessandro Abate, Marta Kwiatkowska
2024	J	`jnl`	STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers. CoRR Daqian Shao, Lukas Fesser, Marta Kwiatkowska
2024	J	`jnl`	Safe POMDP Online Planning Among Dynamic Agents via Adaptive Conformal Prediction. IEEE Robotics Autom. Lett. Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng
2024	J	`jnl`	Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction. CoRR Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng
2024	B	`conf`	Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk). CSL Marta Kwiatkowska
2024	J	`jnl`	Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games. Inf. Comput. Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2024	A*	`conf`	The Trembling-Hand Problem for LTLf Planning. IJCAI Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi
2024	J	`jnl`	The Trembling-Hand Problem for LTLf Planning. CoRR Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi
2024	A*	`conf`	Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications. ICRA Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng, Marta Kwiatkowska
2024	J	`jnl`	Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks. CoRR Jon Vadillo, Roberto Santana, José Antonio Lozano, Marta Kwiatkowska
2023	J	`jnl`	Adversarial Robustness Certification for Bayesian Neural Networks. CoRR Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska
2023	B	`conf`	CONCUR Test-Of-Time Award 2023 (Invited Paper). CONCUR Bengt Jonsson, Marta Kwiatkowska, Igor Walukiewicz
2023	—	`conf`	Certifiers Make Neural Networks Vulnerable to Availability Attacks. AISec@CCS Tobias Lorenz, Marta Kwiatkowska, Mario Fritz
2023	A	`conf`	Compositional Probabilistic and Causal Inference using Tractable Circuit Models. AISTATS Benjie Wang, Marta Kwiatkowska
2023	J	`jnl`	Compositional Probabilistic and Causal Inference using Tractable Circuit Models. CoRR Benjie Wang, Marta Kwiatkowska
2023	J	`jnl`	On Preimage Approximation for Neural Networks. CoRR Xiyue Zhang, Benjie Wang, Marta Kwiatkowska
2023	J	`jnl`	Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2023	J	`jnl`	Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States. IEEE J. Biomed. Health Informatics Shadi Ghiasi, Andrea Patane, Luca Laurenti, Claudio Gentili, Enzo Pasquale Scilingo, Alberto Greco, Marta Kwiatkowska
2023	J	`jnl`	Point-based Value Iteration for Neuro-Symbolic POMDPs. CoRR Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2023	J	`jnl`	Probabilistic Reach-Avoid for Bayesian Neural Networks. CoRR Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2023	A*	`conf`	Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees. IJCAI Daqian Shao, Marta Kwiatkowska
2023	J	`jnl`	Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees. CoRR Daqian Shao, Marta Kwiatkowska
2023	J	`jnl`	Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications. CoRR Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng, Marta Kwiatkowska
2023	C	`conf`	When to Trust AI: Advances and Challenges for Certification of Neural Networks. FedCSIS Marta Kwiatkowska, Xiyue Zhang
2023	J	`jnl`	When to Trust AI: Advances and Challenges for Certification of Neural Networks. CoRR Marta Kwiatkowska, Xiyue Zhang
2022	J	`jnl`	Adversarial Robustness Guarantees for Gaussian Processes. J. Mach. Learn. Res. Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska
2022	J	`jnl`	Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation. CoRR Artem Velikzhanin, Benjie Wang, Marta Kwiatkowska
2022	—	`conf`	Correlated Equilibria and Fairness in Concurrent Stochastic Games. TACAS (2) Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2022	J	`jnl`	Correlated Equilibria and Fairness in Concurrent Stochastic Games. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2022	J	`jnl`	Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games. CoRR Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska
2022	A	`conf`	Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. UAI Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska
2022	A*	`conf`	Individual Fairness Guarantees for Neural Networks. IJCAI Elias Benussi, Andrea Patanè, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska
2022	J	`jnl`	Individual Fairness Guarantees for Neural Networks. CoRR Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska
2022	A*	`conf`	Learning Dynamics and Generalization in Deep Reinforcement Learning. ICML Clare Lyle, Mark Rowland, Will Dabney, Marta Kwiatkowska, Yarin Gal
2022	J	`jnl`	Learning Dynamics and Generalization in Reinforcement Learning. CoRR Clare Lyle, Mark Rowland, Will Dabney, Marta Kwiatkowska, Yarin Gal
2022	J	`jnl`	PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2022	J	`jnl`	Probabilistic Model Checking and Autonomy. Annu. Rev. Control. Robotics Auton. Syst. Marta Kwiatkowska, Gethin Norman, David Parker
2022	B	`conf`	Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). MFCS Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan
2022	J	`jnl`	Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan
2022	A*	`conf`	Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. IJCAI Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska
2022	J	`jnl`	Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. CoRR Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska
2022	J	`jnl`	Robustness of Unsupervised Representation Learning without Labels. CoRR Aleksandar Petrov, Marta Kwiatkowska
2022	A*	`conf`	Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. IJCAI Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2022	J	`jnl`	Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. CoRR Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2022	J	`jnl`	Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games. CoRR Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2022	—	`conf`	Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Principles of Systems Design Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2022	J	`jnl`	Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2022	A*	`conf`	The King Is Naked: On the Notion of Robustness for Natural Language Processing. AAAI Emanuele La Malfa, Marta Kwiatkowska
2022	A*	`conf`	Tractable Uncertainty for Structure Learning. ICML Benjie Wang, Matthew Wicker, Marta Kwiatkowska
2022	J	`jnl`	Tractable Uncertainty for Structure Learning. CoRR Benjie Wang, Matthew Wicker, Marta Kwiatkowska
2022	A*	`conf`	When are Local Queries Useful for Robust Learning? NeurIPS Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2022	J	`jnl`	When are Local Queries Useful for Robust Learning? CoRR Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2021	J	`jnl`	A Language for Modeling and Optimizing Experimental Biological Protocols. Comput. Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2021	J	`jnl`	Adaptive formal approximations of Markov chains. Perform. Evaluation Alessandro Abate, Roman Andriushchenko, Milan Ceska, Marta Kwiatkowska
2021	J	`jnl`	Adversarial Robustness Guarantees for Gaussian Processes. CoRR Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen J. Roberts, Marta Kwiatkowska
2021	J	`jnl`	Automatic verification of concurrent stochastic systems. Formal Methods Syst. Des. Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2021	J	`jnl`	Backdoor Attacks on Network Certification via Data Poisoning. CoRR Tobias Lorenz, Marta Kwiatkowska, Mario Fritz
2021	A	`conf`	Bayesian Inference with Certifiable Adversarial Robustness. AISTATS Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska
2021	J	`jnl`	Bayesian Inference with Certifiable Adversarial Robustness. CoRR Matthew Wicker, Luca Laurenti, Andrea Patane, Zhoutong Chen, Zheng Zhang, Marta Kwiatkowska
2021	J	`jnl`	Certification of Iterative Predictions in Bayesian Neural Networks. CoRR Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2021	A	`conf`	Certification of iterative predictions in Bayesian neural networks. UAI Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2021	J	`jnl`	Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. IEEE Trans. Autom. Control. Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska
2021	A*	`conf`	On Guaranteed Optimal Robust Explanations for NLP Models. IJCAI Emanuele La Malfa, Rhiannon Michelmore, Agnieszka M. Zbrzezny, Nicola Paoletti, Marta Kwiatkowska
2021	J	`jnl`	On Guaranteed Optimal Robust Explanations for NLP Models. CoRR Emanuele La Malfa, Agnieszka Zbrzezny, Rhiannon Michelmore, Nicola Paoletti, Marta Kwiatkowska
2021	J	`jnl`	On the Hardness of Robust Classification. J. Mach. Learn. Res. Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2021	J	`jnl`	Probabilistic Model Checking and Autonomy. CoRR Marta Kwiatkowska, Gethin Norman, David Parker
2021	A*	`conf`	Provable Guarantees on the Robustness of Decision Rules to Causal Interventions. IJCAI Benjie Wang, Clare Lyle, Marta Kwiatkowska
2021	J	`jnl`	Provable Guarantees on the Robustness of Decision Rules to Causal Interventions. CoRR Benjie Wang, Clare Lyle, Marta Kwiatkowska
2021	J	`jnl`	Rational verification: game-theoretic verification of multi-agent systems. Appl. Intell. Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge
2021	J	`jnl`	The EATCS Award 2021 - Laudatio for Toniann (Toni) Pitassi. Bull. EATCS Marta Kwiatkowska
2021	J	`jnl`	The King is Naked: on the Notion of Robustness for Natural Language Processing. CoRR Emanuele La Malfa, Marta Kwiatkowska
2020	J	`jnl`	A game-based approximate verification of deep neural networks with provable guarantees. Theor. Comput. Sci. Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2020	A	`conf`	Adversarial Robustness Guarantees for Classification with Gaussian Processes. AISTATS Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts
2020	—	`conf`	Assessing Robustness of Text Classification through Maximal Safe Radius Computation. EMNLP (Findings) Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska
2020	J	`jnl`	Assessing Robustness of Text Classification through Maximal Safe Radius Computation. CoRR Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska
2020	J	`jnl`	Automatic Verification of Concurrent Stochastic Systems. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2020	A*	`conf`	Invariant Causal Prediction for Block MDPs. ICML Amy Zhang, Clare Lyle, Shagun Sodhani, Angelos Filos, Marta Kwiatkowska, Joelle Pineau, Yarin Gal, Doina Precup
2020	J	`jnl`	Invariant Causal Prediction for Block MDPs. CoRR Amy Zhang, Clare Lyle, Shagun Sodhani, Angelos Filos, Marta Kwiatkowska, Joelle Pineau, Yarin Gal, Doina Precup
2020	—	`conf`	Multi-player Equilibria Verification for Concurrent Stochastic Games. QEST Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2020	J	`jnl`	Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2020	J	`jnl`	On the Benefits of Invariance in Neural Networks. CoRR Clare Lyle, Mark van der Wilk, Marta Kwiatkowska, Yarin Gal, Benjamin Bloem-Reddy
2020	—	`conf`	PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. CAV (2) Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2020	A	`conf`	Probabilistic Safety for Bayesian Neural Networks. UAI Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska
2020	J	`jnl`	Probabilistic Safety for Bayesian Neural Networks. CoRR Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska
2020	A*	`conf`	Robustness Guarantees for Deep Neural Networks on Videos. CVPR Min Wu, Marta Kwiatkowska
2020	—	`conf`	Safety Guarantees for Iterative Predictions with Gaussian Processes. CDC Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts
2020	A*	`conf`	Safety and Robustness for Deep Learning with Provable Guarantees. ASE Marta Kwiatkowska
2020	J	`jnl`	The EATCS Award 2021 - Call for Nominations. Bull. EATCS Marta Kwiatkowska, Éva Tardos, Johan Håstad
2020	A*	`conf`	Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. ICRA Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska
2019	J	`jnl`	Central Limit Model Checking. ACM Trans. Comput. Log. Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2019	—	`conf`	Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture. CAVS Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska
2019	J	`jnl`	Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture. CoRR Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska
2019	J	`jnl`	Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. CoRR Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
2019	—	`conf`	Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. HSCC Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
2019	B	`conf`	Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2019	A	`conf`	Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. IROS Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska
2019	A*	`conf`	Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. IJCAI Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
2019	A*	`conf`	On the Hardness of Robust Classification. NeurIPS Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2019	J	`jnl`	On the Hardness of Robust Classification. CoRR Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2019	J	`jnl`	On the Hardness of Robust Classification. Electron. Colloquium Comput. Complex. Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2019	—	`conf`	PID Control of Biochemical Reaction Networks. CDC Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2019	J	`jnl`	PID Control of Biochemical Reaction Networks. CoRR Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2019	A*	`conf`	Probabilistic Strategy Logic. IJCAI Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin
2019	J	`jnl`	Reasoning about Cognitive Trust in Stochastic Multiagent Systems. CoRR Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik
2019	J	`jnl`	Reasoning about Cognitive Trust in Stochastic Multiagent Systems. ACM Trans. Comput. Log. Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik
2019	A*	`conf`	Robustness Guarantees for Bayesian Inference with Gaussian Processes. AAAI Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane
2019	J	`jnl`	Robustness Guarantees for Deep Neural Networks on Videos. CoRR Min Wu, Marta Kwiatkowska
2019	J	`jnl`	Robustness Quantification for Classification with Gaussian Processes. CoRR Arno Blaas, Luca Laurenti, Andrea Patane, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts
2019	A*	`conf`	Robustness of 3D Deep Learning in an Adversarial Setting. CVPR Matthew Wicker, Marta Kwiatkowska
2019	J	`jnl`	Robustness of 3D Deep Learning in an Adversarial Setting. CoRR Matthew Wicker, Marta Kwiatkowska
2019	J	`jnl`	Safety Guarantees for Planning Based on Iterative Gaussian Processes. CoRR Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts
2019	—	`conf`	Safety and robustness for deep learning with provable guarantees (keynote). ESEC/SIGSOFT FSE Marta Kwiatkowska
2019	A*	`conf`	Statistical Guarantees for the Robustness of Bayesian Neural Networks. IJCAI Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
2019	J	`jnl`	Statistical Guarantees for the Robustness of Bayesian Neural Networks. CoRR Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
2019	J	`jnl`	The EATCS Award 2020 - Call for Nominations. Bull. EATCS Artur Czumaj, Marta Kwiatkowska, Éva Tardos
2019	J	`jnl`	Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. CoRR Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska
2019	—	`conf`	Verification and Control of Turn-Based Probabilistic Real-Time Games. The Art of Modelling Computational Systems Marta Kwiatkowska, Gethin Norman, David Parker
2019	J	`jnl`	Verification and Control of Turn-Based Probabilistic Real-Time Games. CoRR Marta Kwiatkowska, Gethin Norman, David Parker
2018	J	`jnl`	A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees. CoRR Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2018	—	`conf`	Automated Recognition of Sleep Arousal Using Multimodal and Personalized Deep Ensembles of Neural Networks. CinC Andrea Patane, Shadi Ghiasi, Enzo Pasquale Scilingo, Marta Kwiatkowska
2018	—	`conf`	Automated Verification of Concurrent Stochastic Games. QEST Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2018	—	`conf`	Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG. LOD Andrea Patanè, Marta Kwiatkowska
2018	J	`jnl`	Central Limit Model Checking. CoRR Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2018	J	`jnl`	Chemical reaction network designs for asynchronous logic circuits. Nat. Comput. Luca Cardelli, Marta Kwiatkowska, Max Whitby
2018	J	`jnl`	Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers. ACM Trans. Cyber Phys. Syst. Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska
2018	J	`jnl`	Concolic Testing for Deep Neural Networks. CoRR Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
2018	A*	`conf`	Concolic testing for deep neural networks. ASE Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
2018	J	`jnl`	Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2018	J	`jnl`	Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2018	J	`jnl`	Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. J. Syst. Softw. Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2018	J	`jnl`	Evaluating Uncertainty Quantification in End-to-End Autonomous Driving Control. CoRR Rhiannon Michelmore, Marta Kwiatkowska, Yarin Gal
2018	—	`conf`	Experimental Biological Protocols with Formal Semantics. CMSB Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov
2018	—	`conf`	Feature-Guided Black-Box Safety Testing of Deep Neural Networks. TACAS (1) Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska
2018	J	`jnl`	Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. CoRR Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
2018	—	`ch.`	Model Checking Probabilistic Systems. Handbook of Model Checking Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska
2018	J	`jnl`	PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. Int. J. Softw. Tools Technol. Transf. Marta Kwiatkowska, David Parker, Clemens Wiltsche
2018	J	`jnl`	Parameter synthesis for probabilistic timed automata using stochastic game abstractions. Theor. Comput. Sci. Aleksandra Jovanovic, Marta Kwiatkowska
2018	J	`jnl`	Programming discrete distributions with chemical reaction networks. Nat. Comput. Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2018	A*	`conf`	Reachability Analysis of Deep Neural Networks with Provable Guarantees. IJCAI Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2018	J	`jnl`	Reachability Analysis of Deep Neural Networks with Provable Guarantees. CoRR Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2018	J	`jnl`	Resource-Performance Tradeoff Analysis for Mobile Robots. IEEE Robotics Autom. Lett. Morteza Lahijanian, María Svorenová, Akshay A. Morye, Brian Yeomans, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska
2018	J	`jnl`	Robustness Guarantees for Bayesian Inference with Gaussian Processes. CoRR Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane
2018	A*	`conf`	When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts. IEEE Symposium on Security and Privacy Simon Eberz, Giulio Lovisotto, Andrea Patane, Marta Kwiatkowska, Vincent Lenders, Ivan Martinovic
2017	A*	`conf`	Broken Hearted: How To Attack ECG Biometrics. NDSS Simon Eberz, Nicola Paoletti, Marc Roeschlin, Andrea Patané, Marta Kwiatkowska, Ivan Martinovic
2017	C	`conf`	Cognitive Reasoning and Trust in Human-Robot Interactions. TAMC Marta Kwiatkowska
2017	A	`conf`	Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2017	J	`jnl`	Experimental Biological Protocols with Formal Semantics. CoRR Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov
2017	J	`jnl`	Feature-Guided Black-Box Safety Testing of Deep Neural Networks. CoRR Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska
2017	J	`jnl`	Precise parameter synthesis for stochastic biochemical systems. Acta Informatica Milan Ceska, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim
2017	—	`conf`	RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2017	—	`conf`	Safety Verification of Deep Neural Networks. CAV (1) Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu
2017	—	`conf`	Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. Models, Algorithms, Logics and Tools Marta Kwiatkowska, Gethin Norman, David Parker
2017	J	`jnl`	Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Theor. Comput. Sci. Aleksandra Jovanovic, Marta Kwiatkowska, Gethin Norman, Quentin Peyras
2017	C	`conf`	Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking. APSEC Azlan B. Ismail, Marta Kwiatkowska
2016	J	`jnl`	2014 CAV award announcement. Formal Methods Syst. Des. Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball
2016	—	`conf`	A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. CMSB Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2016	—	`conf`	Advances and challenges of quantitative verification and synthesis for cyber-physical systems. SOSCYPS@CPSWeek Marta Kwiatkowska
2016	B	`conf`	Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. ATVA Alessandro Abate, Milan Ceska, Marta Kwiatkowska
2016	—	`conf`	Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. QEST Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2016	—	`conf`	Building Power Consumption Models from Executable Timed I/O Automata Specifications. HSCC Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
2016	B	`conf`	Chemical Reaction Network Designs for Asynchronous Logic Circuits. DNA Luca Cardelli, Marta Kwiatkowska, Max Whitby
2016	J	`jnl`	Expected reachability-time games. Theor. Comput. Sci. Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2016	A*	`conf`	Model Checking Probabilistic Knowledge: A PSPACE Case. AAAI Xiaowei Huang, Marta Kwiatkowska
2016	A	`conf`	PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. TACAS Marta Kwiatkowska, David Parker, Clemens Wiltsche
2016	J	`jnl`	Preface. Theor. Comput. Sci. Marta Kwiatkowska, Andrew Phillips, Chris Thachuk
2016	B	`conf`	Programming Discrete Distributions with Chemical Reaction Networks. DNA Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2016	J	`jnl`	Quantitative verification and strategy synthesis for stochastic games. Eur. J. Control María Svorenová, Marta Kwiatkowska
2016	J	`jnl`	Resource-Performance Trade-off Analysis for Mobile Robots. CoRR María Svorenová, Morteza Lahijanian, Akshay A. Morye, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska
2016	J	`jnl`	Safety Verification of Deep Neural Networks. CoRR Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu
2016	—	`conf`	Social Trust: A Major Challenge for the Future of Autonomous Systems. AAAI Fall Symposia Morteza Lahijanian, Marta Kwiatkowska
2016	J	`jnl`	Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation. Biosyst. Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2016	J	`jnl`	The Presburger Award for Young Scientists 2017 - Call for Nominations. Bull. EATCS Marta Kwiatkowska
2016	—	`conf`	Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. QEST Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska
2015	J	`jnl`	Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). Dagstuhl Reports Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz
2015	J	`jnl`	Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041). Dagstuhl Reports Samuel Kounev, Xiaoyun Zhu, Jeffrey O. Kephart, Marta Kwiatkowska
2015	—	`conf`	Parameter synthesis for probabilistic real-time systems (Invited Paper). SynCoP Marta Kwiatkowska
2011	—	`ch.`	OGSA-Based SOA for Collaborative Cancer Research: System Modeling and Generation. Guide to e-Science Tianyi Zang, Radu Calinescu, Marta Kwiatkowska
2010	—	`conf`	Advances and challenges of probabilistic model checking. Allerton Marta Kwiatkowska, Gethin Norman, David Parker
2009	—	`conf`	Quantitative Verification Techniques for Biological Processes. Algorithmic Bioprocesses Marta Kwiatkowska, Gethin Norman, David Parker
1995	—	`conf`	Possible and Guaranteed Concurrency in CSP. STRICT Marta Kwiatkowska, Iain Phillips