Wang, S., Bulitko, V., Huang, T., Koenig, S. and Stern, R. (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.