Scholar
Kandai Watanabe
Google Scholar ID: uhTEdqEAAAAJ
University of Colorado Boulder
Formal Method
Learning from Demonstrations
Robotics
Follow
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
Professor of Computer Science, University of Colorado Boulder
Morteza Lahijanian
University of Colorado Boulder
Co-author 3
Caleb Escobedo
PhD Student in Computer Science, University of Colorado Boulder
Alessandro Roncone
Assistant Professor, University of Colorado, Boulder, CO, U.S.A
×
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