Safe Planning with Game-Theoretic Formulation, Reachability Analysis and Reinforcement Learning | IEEE Conference Publication | IEEE Xplore