Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates

Oumaima Barhoumi, Mohamed H Zaki, Sofiène Tahar

Modern AI technologies enable autonomous vehicles to perceive complex scenes, predict human behavior, and make real-time driving decisions. However, these data-driven components of…