Stav dette: The trembling-hand problem for LTLf planning