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

Nazmus Shakib Sayom, Luis Garcia

We propose a methodology for falsifying safety properties in robotic vehicle systems through property-guided reduction and surrogate execution. By isolating only the control logic…