Գրեք սա: The trembling-hand problem for LTLf planning