An Approximation Algorithm for a Task Allocation, Sequencing and Scheduling Problem Involving a Human-Robot Team | IEEE Journals & Magazine | IEEE Xplore