Guaranteeing the Safety of Autonomous Vehicles
Briefly