[robotics-worldwide] ICRA 2010 workshop - Formal methods for robotics and automation - Presentations available online

Hadas Kress-Gazit hadaskg at cornell.edu
Tue Jun 15 08:28:14 PDT 2010


Presentation slides for the talks that took place at the ICRA 2010 workshop
"Formal methods for robotics and automation" are available at:

http://web.mae.cornell.edu/hadaskg/ICRA10/Abstracts.html

Hadas.
-- 
=========================
Hadas Kress-Gazit
Assistant Professor
Sibley School of Mechanical and Aerospace Engineering
Cornell University
210 Upson Hall
Phone: 607-255-1592
http://web.mae.cornell.edu/hadaskg/


More information about the robotics-worldwide mailing list