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
15 items
On the Continuity of the Probabilistic Bisimilarity Distance
2026
Cited
0
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
2026
Cited
0
Symmetry-electronic fingerprints reveal competing magnetic phases in two-dimensional materials
2026
Cited
0
Robust Parameter Learning for Uncertain MDPs
2026
Cited
0
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
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