TY  - RPRT
TI  - Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes
AU  - Xia Wang
AU  - Anda Liang
AU  - Jonathan Sprinkle
AU  - Taylor T. Johnson
PY  - 2023
UR  - https://arxiv.org/abs/2312.16364
ID  - 2312.16364
ER  -