A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems.
Zhen HuangBo LiDehui DuQin LiPublished in: ICTAC (2022)
Keyphrases
- model checking
- safety critical
- formal methods
- model checker
- temporal logic
- safety analysis
- automated verification
- symbolic model checking
- finite state machines
- formal specification
- formal verification
- reactive systems
- embedded systems
- fault tolerant
- autonomous driving
- bounded model checking
- agent architecture
- real time
- artificial intelligence
- computation tree logic
- epistemic logic
- finite state
- support systems
- knowledge based systems
- intelligent systems
- decision support system