Hamilton-Jacobi Reachability Estimation in Reinforcement Learning - Ganai, Milan (ProQuest Dissertations and Theses, 2024)