Hamilton–Jacobi Formulation for Reach–Avoid Differential Games | IEEE Journals & Magazine | IEEE Xplore