TY  - RPRT
TI  - Safety-Constrained Reinforcement Learning with Post-Training Reachability Verification for Robot Navigation
AU  - Qisong He
AU  - Xinmiao Huang
AU  - Jinwei Hu
AU  - Zhuoyun Li
AU  - Yi Dong
AU  - Changshun Wu
AU  - Xiaowei Huang
PY  - 2026
UR  - https://arxiv.org/abs/2605.14174
ID  - 2605.14174
ER  -