Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis | IEEE Journals & Magazine | IEEE Xplore