Zhang, Y.; Chen, Z.; Harabor, D.; Le Bodic, P.; Stuckey, P. J. Planning and Exection in Multi-Agent Path Finding: Models and Algorithms (Extended Abstract). SOCS 2024, 17, 303-304.