發送短信: The trembling-hand problem for LTLf planning