Marta Kwiatkowska
Scholar

Marta Kwiatkowska

Google Scholar ID: ArcH6PkAAAAJ
Professor of Computing Systems, University of Oxford
Computer ScienceAutomated VerificationProbabilistic/Quantitative Model Checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
11,025
 
H-index
48
 
i10-index
169
 
Publications
20
 
Co-authors
30
list available
Contact
EmailMarta.Kwiatkowska@cs.ox.ac.ukGitHubOpen ↗LinkedInOpen ↗
Publications
10 items
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
PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
2025
Cited
0
Efficient Preimage Approximation for Neural Network Certification
2025
Cited
0
Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
2025
Cited
0
Resume (English only)
Co-authors
30 total
Gethin Norman
Gethin Norman
Professor at the School of Computing Science, Glasgow University, School of Computing Science
David Parker
David Parker
Professor of Computer Science, University of Oxford
Radu Calinescu
Radu Calinescu
Professor of Computer Science, University of York
Co-author 4
Co-author 4
Luca Laurenti
Luca Laurenti
TU Delft
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Nicola Paoletti
Nicola Paoletti
Department of Informatics, King's College London