Scholar
Mirco Giacobbe
Google Scholar ID: gQC8pYUAAAAJ
University of Birmingham
Automated Verification
AI Safety
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
687
H-index
13
i10-index
15
Publications
20
Co-authors
14
list available
Publications
6 items
Value Functions as Supermartingale Certificates
2026
Cited
0
Complete Supermartingale Certificates for $ω$-Regular Properties
2026
Cited
0
Zero-Knowledge Model Checking
2026
Cited
0
Branching Bisimulation Learning
2025
Cited
0
Quantitative Supermartingale Certificates
2025
Cited
0
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems
International Conference on Concurrency Theory · 2023
Cited
2
Co-authors
8 total
Alessandro Abate
Professor of Verification and Control, University of Oxford, UK
Thomas Henzinger
IST Austria
Daniel Kroening
Amazon
Yannik Schnitzer
University of Oxford
David Parker
Professor of Computer Science, University of Oxford
Hosein Hasanbeig
Microsoft Research
Julian Parsert
RPTU Kaiserslautern
Michael Tautschnig
Queen Mary University of London
