Property-Guided Cyber-Physical Reduction and Surrogation for Safety Analysis in Robotic Vehicles