Formal Verification of Vision-Based AI-Controlled Cyber-Physical Vehicles