Linked Presentation: PatchVerif: Discovering Faulty Patches in Robotic VehiclesDiscovering Adversarial Driving Maneuvers against Autonomous Vehicles