SMS versenden: Hamilton-Jacobi Reachability Estimation in Reinforcement Learning