TY  - RPRT
TI  - DRIVE: Dynamic Rule Inference and Verified Evaluation for Constraint-Aware Autonomous Driving
AU  - Longling Geng
AU  - Huangxing Li
AU  - Viktor Lado Naess
AU  - Mert Pilanci
PY  - 2025
UR  - https://arxiv.org/abs/2508.04066
ID  - 2508.04066
ER  -