@misc{indiciaed212befce5ca,
  title = {Safety-Constrained Reinforcement Learning with Post-Training Reachability Verification for Robot Navigation},
  author = {Qisong He and Xinmiao Huang and Jinwei Hu and Zhuoyun Li and Yi Dong and Changshun Wu and Xiaowei Huang},
  year = {2026},
  url = {https://arxiv.org/abs/2605.14174},
  note = {Source identifier: 2605.14174}
}