Symmetry Breaking for k-Robust Multi-Agent Path Finding