A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems.

Zhen Huang, Bo Li, Dehui Du, Qin Li

Browse the full ICTAC paper archive.