Safe Learning-based Predictive Control from Efficient Reachability | IEEE Conference Publication | IEEE Xplore