D4: Dynamic Data-Driven Discovery of Adversarial Vehicle Maneuvers
摘要
Intelligent mechanisms implemented in autonomous vehicles, such as proactive driving assist and pre-collision alerts reduce traffic accidents. However, verifying their correct functionality is difficult due to complex interactions with the environment. This problem is exacerbated in adversarial conditions, where an attacker can control the environment surrounding autonomous vehicles to exploit any vulnerabilities. To preemptively identify vulnerabilities in these systems, in this paper, we implement a scenario-based framework with a formal method to identify the impact of malicious drivers interacting with autonomous vehicles.