Marine Robotics Group/Namespaces