Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning. - Jaime F. Fisac; Neil F. Lugovoy; Vicenc Rubies-Royo; Shromona Ghosh; Claire J. Tomlin (ICRA, 2019)