[robotics-worldwide] What are "formal methods for robotics"?

Hadas Kress-Gazit 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.
Assistant Professor
Sibley School of Mechanical and Aerospace Engineering
Cornell University
210 Upson Hall
Phone: 607-255-1592

More information about the robotics-worldwide mailing list