{"ID":2834755,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2512.02270","arxiv_id":"2512.02270","title":"Property-Guided Cyber-Physical Reduction and Surrogation for Safety Analysis in Robotic Vehicles","abstract":"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 and physical dynamics relevant to a given specification, we construct lightweight surrogate models that preserve property-relevant behaviors while eliminating unrelated system complexity. This enables scalable falsification via trace analysis and temporal logic oracles. We demonstrate the approach on a drone control system containing a known safety flaw. The surrogate replicates failure conditions at a fraction of the simulation cost, and a property-guided fuzzer efficiently discovers semantic violations. Our results suggest that controller reduction, when coupled with logic-aware test generation, provides a practical and scalable path toward semantic verification of cyber-physical systems.","short_abstract":"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 and physical dynamics relevant to a given specification, we construct lightweight surrogate models that preserve property-relevant behaviors...","url_abs":"https://arxiv.org/abs/2512.02270","url_pdf":"https://arxiv.org/pdf/2512.02270v1","authors":"[\"Nazmus Shakib Sayom\",\"Luis Garcia\"]","published":"2025-12-01T23:27:22Z","proceeding":"cs.CR","tasks":"[\"cs.CR\",\"cs.RO\"]","methods":"[]","has_code":false}