[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*

http://verifiablerobotics.com/RSS13/index.html




=========================
Hadas Kress-Gazit, PhD.
Assistant Professor
Sibley School of Mechanical and Aerospace Engineering
Cornell University
210 Upson Hall
Phone: 607-255-1592
http://verifiablerobotics.com/


More information about the robotics-worldwide mailing list