[1]
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 (Oct. 2023), 360-369. DOI:https://doi.org/10.1609/aiide.v19i1.27532.