Picture for Anda Liang

Anda Liang

Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes

Add code
Dec 27, 2023
Viaarxiv icon