Kandai Watanabe
Scholar

Kandai Watanabe

Google Scholar ID: uhTEdqEAAAAJ
University of Colorado Boulder
Formal MethodLearning from DemonstrationsRobotics
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
64
 
H-index
5
 
i10-index
3
 
Publications
9
 
Co-authors
5
list available
Contact
No contact links provided.
Publications
1 items
Learning specifications for reactive synthesis with safety constraints
arXiv.org · 2026
Cited
0
Resume (English only)
Co-authors
5 total
Sriram Sankaranarayanan
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
Morteza Lahijanian
Morteza Lahijanian
University of Colorado Boulder
Co-author 3
Co-author 3
Caleb Escobedo
Caleb Escobedo
PhD Student in Computer Science, University of Colorado Boulder
Alessandro Roncone
Alessandro Roncone
Assistant Professor, University of Colorado, Boulder, CO, U.S.A