TY  - RPRT
TI  - Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates
AU  - Oumaima Barhoumi
AU  - Mohamed H Zaki
AU  - Sofiène Tahar
PY  - 2026
UR  - https://arxiv.org/abs/2601.09740
ID  - 2601.09740
ER  -