[1]
S. Wang, V. Bulitko, T. Huang, S. Koenig, and R. Stern, “Synthesizing Priority Planning Formulae for Multi-Agent Pathfinding”, AIIDE, vol. 19, no. 1, pp. 360-369, Oct. 2023.