Wang, S., V. Bulitko, T. Huang, S. Koenig, and R. Stern. “Synthesizing Priority Planning Formulae for Multi-Agent Pathfinding”. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, vol. 19, no. 1, Oct. 2023, pp. 360-9, doi:10.1609/aiide.v19i1.27532.