HIGH-RESOLUTION SAFETY VERIFICATION FOR EVASIVE OBSTACLE AVOIDANCE IN AUTONOMOUS VEHICLES