Ant-Colony-Based Complete-Coverage Path-Planning Algorithm for Underwater Gliders in Ocean Areas With Thermoclines | IEEE Journals & Magazine | IEEE Xplore