Wang, S., Bulitko, V., Huang, T., Koenig, S., & 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), 360-369. https://doi.org/10.1609/aiide.v19i1.27532