Text this: Task Scheduling of Multiple Humanoid Robot Manipulators by Using Symbolic Control