この資料をSMS送信: The trembling-hand problem for LTLf planning