Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning | IEEE Conference Publication | IEEE Xplore