Physical Backdoor Trigger Activation of Autonomous Vehicle using Reachability Analysis.
Wenqing LiYue WangMuhammad ShafiqueSaif Eddin JabariPublished in: CoRR (2023)
Keyphrases
- reachability analysis
- autonomous vehicles
- markov decision processes
- model checking
- path planning
- obstacle avoidance
- timed automata
- incremental algorithms
- multiagent systems
- robot control
- lane detection
- state space
- long range
- sufficient conditions
- genetic algorithm ga
- artificial intelligence
- knowledge representation