Kinematic redundancy resolution for two cooperating underwater vehicles with on-board manipulators | IEEE Conference Publication | IEEE Xplore