Efficient Re-synthesis of Control Barrier Function via Safe Exploration | IEEE Conference Publication | IEEE Xplore