Multi-resolution path planning: Theoretical analysis, efficient implementation, and extensions to dynamic environments