Search-Based Optimal Solvers for the Multi-Agent Pathfinding Problem: Summary and Challenges.
A general formal framework for pathfinding problems with multiple agents