drake

Model-based design and verification for robotics.

翻译 - 基于模型的机器人技术设计和验证。