Physical Backdoor Trigger Activation of Autonomous Vehicle Using Reachability Analysis.
Wenqing LiYue WangMuhammad ShafiqueSaif Eddin JabariPublished in: CDC (2023)
Keyphrases
- reachability analysis
- autonomous vehicles
- model checking
- markov decision processes
- path planning
- obstacle avoidance
- timed automata
- incremental algorithms
- multiagent systems
- robot control
- lane detection
- autonomous agents
- state space
- robot motion
- multi modal
- spatial information
- particle swarm optimization
- real time
- knowledge base
- neural network