Leet, C.; Li, J.; Koenig, S. Shard Systems: Scalable, Robust and Persistent Multi-Agent Path Finding With Performance Guarantees. AAAI 2022, 36, 9386-9395.