Physical Backdoor Trigger Activation of Autonomous Vehicle Using Reachability Analysis | IEEE Conference Publication | IEEE Xplore