Lifelong Path Planning for 10,000 Robots on the Tech Tree