Mirco Giacobbe
Scholar

Mirco Giacobbe

Google Scholar ID: gQC8pYUAAAAJ
University of Birmingham
Automated VerificationAI Safety
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
687
 
H-index
13
 
i10-index
15
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
Publications
3 items
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
Resume (English only)
Co-authors
14 total
Alessandro Abate
Alessandro Abate
Professor of Verification and Control, University of Oxford, UK
Thomas Henzinger
Thomas Henzinger
IST Austria
Daniel Kroening
Daniel Kroening
Amazon
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Yannik Schnitzer
Yannik Schnitzer
University of Oxford
Co-author 7
Co-author 7
Co-author 8
Co-author 8