Guaranteeing task prioritization for redundant robots given maximum number of tasks and singularities | IEEE Conference Publication | IEEE Xplore