Wang, Shuwei, Vadim Bulitko, Taoan Huang, Sven Koenig, and Roni Stern. 2023. “Synthesizing Priority Planning Formulae for Multi-Agent Pathfinding”. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment 19 (1):360-69. https://doi.org/10.1609/aiide.v19i1.27532.