High-Resolution Safety Verification for Evasive Obstacle Avoidance in Autonomous Vehicles | IEEE Journals & Magazine | IEEE Xplore