DrakeModel-Based Design and Verification for Robotics.Please see the Drake Documentation for more information.