Robot Locomotion Group

Model-based design and verification for robotics.

A Pipeline for Generating Ground Truth Labels for Real RGBD Data of Cluttered Scenes

A robotics interface and visualization framework.