Design Guarantees for Resilient Robot Formations on Lattices | IEEE Journals & Magazine | IEEE Xplore