G. Sharon, R. Stern, A. Felner, and N. Sturtevant, “Conflict-Based Search for Optimal Multi-Agent Path Finding”, SOCS, vol. 3, no. 1, p. 190, Jul. 2012.