Robust Consensus-Based Formation Control of Multi-Robot Systems with Guaranteed Safety | IEEE Conference Publication | IEEE Xplore