Z. Chen, D. D. Harabor, J. Li, and P. J. Stuckey, “Symmetry Breaking for k-Robust Multi-Agent Path Finding”, AAAI, vol. 35, no. 14, pp. 12267-12274, May 2021.