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

Open in new window