A Mixed-Integer Linear Programming Formulation for Human Multi-Robot Task Allocation | IEEE Conference Publication | IEEE Xplore