A Control Barrier Function for Safe Navigation with Online Gaussian Splatting Maps | IEEE Conference Publication | IEEE Xplore