Robotics projects from MIT / TRI.
Model-based design and verification for robotics from MIT and Toyota Research.