Forming repeating patterns of mobile robots: A provably correct decentralized algorithm | IEEE Conference Publication | IEEE Xplore