A paradigm for plan-merging and its use for multi-robot cooperation | IEEE Conference Publication | IEEE Xplore