Exploiting AIS Data for Intelligent Maritime Navigation: A Comprehensive Survey From Data to Methodology
A Formal BasisfortheHeuristic Determination of Minimum CostPaths