Communication-Efficient Formation Maintenance for Multi-Robot System with a Safety Certificate | IEEE Conference Publication | IEEE Xplore