Planning and Exection in Multi-Agent Path Finding: Models and Algorithms (Extended Abstract) - Zhang, Yue; Chen, Zhe; Harabor, Daniel; Le Bodic, Pierre; Stuckey, Peter J. (Proceedings of the International Symposium on Combinatorial Search, 2024)