TY  - RPRT
TI  - Safety Verification for Evasive Collision Avoidance in Autonomous Vehicles with Enhanced Resolutions
AU  - Aliasghar Arab
AU  - Milad Khaleghi
AU  - Alireza Partovi
AU  - Alireza Abbaspour
AU  - Chaitanya Shinde
AU  - Yashar Mousavi
AU  - Vahid Azimi
AU  - Ali Karimmoddini
PY  - 2024
DO  - 10.1109/ojvt.2024.3519951
UR  - https://arxiv.org/abs/2411.02706
ID  - 2411.02706
ER  -