TY - RPRT TI - Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation AU - Luca Marzari AU - Francesco Trotti AU - Enrico Marchesini AU - Alessandro Farinelli PY - 2025 UR - https://arxiv.org/abs/2504.21643 ID - 2504.21643 ER -