A Formal Basis for the Heuristic Determination of Minimum Cost Paths | IEEE Journals & Magazine | IEEE Xplore