Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata] | IEEE Journals & Magazine | IEEE Xplore