Wang, Shuwei, et al. “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.