Autonomous Exploration Using Ground Robots with Safety Guarantees | IEEE Conference Publication | IEEE Xplore