David Parker
Scholar

David Parker

Google Scholar ID: nEKbXSMAAAAJ
Professor of Computer Science, University of Oxford
Automated VerificationProbabilistic Model Checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
6,158
 
H-index
39
 
i10-index
96
 
Publications
20
 
Co-authors
132
list available
Contact
No contact links provided.
Publications
11 items
Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning
2026
Cited
0
Robust Verification of Concurrent Stochastic Games
2026
Cited
0
Multi-Property Synthesis
2026
Cited
0
About Time: Model-free Reinforcement Learning with Timed Reward Machines
2025
Cited
0
Robust Permissive Controller Synthesis for Interval MDPs
2025
Cited
0
Probabilistic Model Checking: Applications and Trends
2025
Cited
0
Efficient Solution and Learning of Robust Factored MDPs
2025
Cited
0
Robust Probabilistic Bisimilarity for Labelled Markov Chains
2025
Cited
0
Resume (English only)
Co-authors
132 total
Marta Kwiatkowska
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Gethin Norman
Gethin Norman
Professor at the School of Computing Science, Glasgow University, School of Computing Science
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Nick Hawes
Nick Hawes
Oxford Robotics Institute, University of Oxford
Jan Křetínský
Jan Křetínský
Masaryk University Brno; Technical University of Munich
Bruno Lacerda
Bruno Lacerda
Oxford Robotics Institute - University of Oxford
Co-author 8
Co-author 8