Autonomous Underwater Vehicle trajectory design coupled with predictive ocean models: A case study | IEEE Conference Publication | IEEE Xplore