Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation | Read Paper on Bytez