A Hopf-Lax Formula in Hamilton–Jacobi Analysis of Reach-Avoid Problems | IEEE Journals & Magazine | IEEE Xplore