Wang, S. (2023) “Synthesizing Priority Planning Formulae for Multi-Agent Pathfinding”, Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 19(1), pp. 360–369. doi: 10.1609/aiide.v19i1.27532.