Zhang, Y.; Chen, Z.; Harabor, D.; Bodic, P. L.; Stuckey, P. J. Planning and Execution in Multi-Agent Path Finding: Models and Algorithms. ICAPS 2024, 34, 707-715.