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

Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2026 Open access

Read full text
Authors: Nazmus Shakib Sayom, Luis A. Garcia
DOI: 10.1007/978-3-032-33701-6_2
Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Safety Systems Engineering in Autonomy Autonomous Vehicle Technology and Safety

Publication details

Journal / source
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Pages
21–40
Publication date
28 August 2026
Language
EN