Guaranteed Safe Online Learning via Reachability: tracking a ground target using a quadrotor | IEEE Conference Publication | IEEE Xplore