Dynamic collision avoidance for redundant multi-robot systems | IEEE Conference Publication | IEEE Xplore