Planing Under Uncertainty in Linear Time Logic