Scholar
Vahid Hashemi
Google Scholar ID: ZuopqC4AAAAJ
AUDI AG
Neuro-Symbolic AI
AI Safety
Quantitative Verification
Optimal Control
Autonomous Driving
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
377
H-index
12
i10-index
16
Publications
20
Co-authors
21
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
21 total
Holger Hermanns
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Andrea Turrini
Institute of Software, Chinese Academy of Sciences
Co-author 3
Jan Křetínský
Masaryk University Brno; Technical University of Munich
Co-author 5
Morteza Lahijanian
University of Colorado Boulder
Dimitri Scheftelowitsch
TU Dortmund
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up