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
Publications
1 items
Learning specifications for reactive synthesis with safety constraints
arXiv.org · 2026
Cited
0
Co-authors
4 total
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
Morteza Lahijanian
University of Colorado Boulder
Caleb Escobedo
PhD Student in Computer Science, University of Colorado Boulder
Alessandro Roncone
Assistant Professor, University of Colorado, Boulder, CO, U.S.A
