Task allocation via multi-agent coalition formation: taxonomy, algorithms and complexity | IEEE Conference Publication | IEEE Xplore