Wang, S.; Bulitko, V.; Huang, T.; Koenig, S.; Stern, R. Synthesizing Priority Planning Formulae for Multi-Agent Pathfinding. AIIDE 2023, 19, 360-369.