TY - RPRT TI - Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation AU - Luca Marzari AU - Enrico Marchesini AU - Alessandro Farinelli PY - 2023 UR - https://arxiv.org/abs/2302.06695 ID - 2302.06695 ER -