@misc{indiciae06e55fd10274,
  title = {Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation},
  author = {Luca Marzari and Francesco Trotti and Enrico Marchesini and Alessandro Farinelli},
  year = {2025},
  url = {https://arxiv.org/abs/2504.21643},
  note = {Source identifier: 2504.21643}
}