【論文要約:自動運転関連】Safety Verification for Evasive Collision Avoidance in Autonomous Vehicles with Enhanced Resolutions