ARA*: Anytime A* with Provable Bounds on Sub-Optimality
An analysis of time-dependent planning