Building Multirobot Coalitions Through Automated Task Solution Synthesis | IEEE Journals & Magazine | IEEE Xplore