Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes

Xia Wang, Anda Liang, Jonathan Sprinkle +1

Many decision-making scenarios in modern life benefit from the decision support of artificial intelligence algorithms, which focus on a data-driven philosophy and automated program…