Computing the shortest path: A search meets graph theory
A Formal BasisfortheHeuristic Determination of Minimum CostPaths