Yannik Schnitzer
Scholar

Yannik Schnitzer

Google Scholar ID: 9vu6sAcAAAAJ
University of Oxford
Computer ScienceFormal MethodsRuntime Verification
Google Scholar↗
Citations & Impact
All-time
Citations
47
 
H-index
4
 
i10-index
3
 
Publications
9
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
6 items
Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning
2026
Cited
0
Multi-Property Synthesis
2026
Cited
0
Efficient Solution and Learning of Robust Factored MDPs
2025
Cited
0
Branching Bisimulation Learning
2025
Cited
0
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
2025
Cited
0
Certifiably Robust Policies for Uncertain Parametric Environments
2024
Cited
0
Resume (English only)
Co-authors
11 total
Alessandro Abate
Alessandro Abate
Professor of Verification and Control, University of Oxford, UK
Mirco Giacobbe
Mirco Giacobbe
University of Birmingham
Holger Hermanns
Holger Hermanns
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Bernd Finkbeiner
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
David Parker
David Parker
Professor of Computer Science, University of Oxford
Nikolaus Vertovec
Nikolaus Vertovec
University of Oxford