Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot
Meriel von Stein, Sebastian ElbaumOpenpilot is an open source system to assist drivers by providing features like automated lane centering and adaptive cruise control. Like most systems for autonomous vehicles, Openpilot relies on a sophisticated deep neural network (DNN) to provide its functionality, one that is susceptible to safety property violations that can lead… Read more