Building Multirobot Coalitions Through Automated Task Solution Synthesis | Synapse