Αποστολή με SMS: The trembling-hand problem for LTLf planning