Smart Infrastructure and Autonomous Vehicles: Ensuring Safety and Efficiency in Urban Traffic with Control Barrier Functions

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: F. Bernabei, Cristian Secchi
DOI: 10.5281/zenodo.18763097
Cited by: 0

Fields of Study & Subjects

Traffic control and management Formal Methods in Verification Autonomous Vehicle Technology and Safety

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
24 February 2026
Language
EN