Large-Scale Multi-Robot Coverage Path Planning via Local Search (Extended Abstract) | Synapse