Distributed receding horizon planning for multi-robot systems | IEEE Conference Publication | IEEE Xplore