Solution space reasoning to improve IQ-ASyMTRe in tightly-coupled multirobot tasks | IEEE Conference Publication | IEEE Xplore