Time optimal multi-agent path planning on graphs
MAPP: a Scalable Multi-Agent Path Planning Algorithm with Tractability and Completeness Guarantees