A comprehensive taxonomy for multi-robot task allocation | Synapse