Scholar
Marta Kwiatkowska
Google Scholar ID: ArcH6PkAAAAJ
Professor of Computing Systems, University of Oxford
Computer Science
Automated Verification
Probabilistic/Quantitative Model Checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
11,025
H-index
48
i10-index
169
Publications
20
Co-authors
30
list available
Contact
Email
Marta.Kwiatkowska@cs.ox.ac.uk
GitHub
Open ↗
LinkedIn
Open ↗
Publications
13 items
Exploring Solver-Level Warmstarting for Neural Network Verification
2026
Cited
0
The Oracle's Gambit: A Game-Theoretic Framework for Responsible AI Release
2026
Cited
0
Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
2026
Cited
0
Towards Probabilistic Strategic Timed CTL
2026
Cited
0
About Time: Model-free Reinforcement Learning with Timed Reward Machines
2025
Cited
0
Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
2025
Cited
0
Probabilistic Model Checking: Applications and Trends
2025
Cited
0
Exact Verification of Graph Neural Networks with Incremental Constraint Solving
2025
Cited
0
Load more
Co-authors
12 total
Gethin Norman
Professor at the School of Computing Science, Glasgow University, School of Computing Science
David Parker
Professor of Computer Science, University of Oxford
Radu Calinescu
Professor of Computer Science, University of York
Luca Laurenti
TU Delft
Nicola Paoletti
Department of Informatics, King's College London
Xiaowei Huang
Professor of Computer Science, University of Liverpool
Taolue Chen
School of Computing and Mathematical Sciences, Birkbeck, University of London
Christel Baier
TU Dresden
