IQ-ASyMTRe: Synthesizing coalition formation and execution for tightly-coupled multirobot tasks | IEEE Conference Publication | IEEE Xplore