[robotics-worldwide] What are "formal methods for robotics"?
hadaskg at cornell.edu
Sat Jun 15 20:49:14 PDT 2013
Come and find out:
*4th workshop on Formal Methods for Robotics - RSS 2013 - June 27, 2013, Berlin*
Hadas Kress-Gazit, PhD.
Sibley School of Mechanical and Aerospace Engineering
210 Upson Hall
More information about the robotics-worldwide