RVPLAYER: Robotic Vehicle Forensics by Replay with What-if Reasoning.
Hongjun ChoiZhiyuan ChengXiangyu ZhangPublished in: NDSS (2022)
Keyphrases
- real time
- pedestrian detection
- knowledge representation
- spatial reasoning
- knowledge base
- mobile robot
- model based reasoning
- analogical reasoning
- robotic systems
- vehicle speed
- traffic monitoring
- reasoning process
- vehicle detection
- transport systems
- deductive reasoning
- formal models
- autonomous vehicles
- reasoning tasks
- automated reasoning
- qualitative reasoning
- meta level
- logic programs
- object detection