Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons | IEEE Conference Publication | IEEE Xplore