An optimal task decision method for a warehouse robot with multiple tasks based on linear temporal logic | IEEE Conference Publication | IEEE Xplore