Planning under LTL Environment Specifications