AI.info

Mohamed H Zaki

Explore Mohamed H Zaki on AI.info.

• Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates