Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes.
Xia WangAnda LiangJonathan SprinkleTaylor T. JohnsonPublished in: CoRR (2023)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- bounded model checking
- logic programming
- modal logic
- classical logic
- linear time temporal logic
- formal verification
- database
- computational efficiency
- logical framework
- computational properties
- multi valued
- defeasible logic
- set theory
- model checker
- high robustness
- formal methods
- genetic algorithm
- data sets