Yixuan Yang, Min Zhang: Safety-Aware DRL Training Based on Reachability Analysis. TrustCom 2025: 1380-1387