Planning optimal paths for multiple robots on graphs
A Formal BasisfortheHeuristic Determination of Minimum CostPaths