Scholar
Dathathri, Sumanth
Google Scholar ID: rzePi44AAAAJ
Research Scientist, DeepMind
Formal Synthesis
Robotics
Verification
Model Checking
Machine Learning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
4,486
H-index
15
i10-index
16
Publications
20
Co-authors
6
list available
Co-authors
3 total
Sicun Gao
UCSD
Necmiye Ozay
EECS and Robotics, University of Michigan
Nikos Arechiga
Toyota Research Institute
