Non-collision conditions in multi-agent robots formation using local potential functions | IEEE Conference Publication | IEEE Xplore