Splat-Nav: Safe Real-Time Robot Navigation in Gaussian Splatting Maps | IEEE Journals & Magazine | IEEE Xplore