Constrained Coverage of Unknown Environment Using Safe Reinforcement Learning | IEEE Conference Publication | IEEE Xplore