Graph-Search and Differential Equations for Time-Optimal Vessel Route Planning in Dynamic Ocean Waves | IEEE Journals & Magazine | IEEE Xplore