Registre de correu electrònic: Guaranteed Reachability for Systems with Unknown Dynamics