Computing infinite plans for LTL goals using a classical planner