Simultaneous task subdivision and allocation for teams of heterogeneous robots | IEEE Conference Publication | IEEE Xplore