AI.info

Sofiène Tahar

Explore Sofiène Tahar on AI.info.

• Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates