TY  - RPRT
TI  - Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
AU  - Yuanfei Lin
AU  - Zekun Xing
AU  - Xuyuan Han
AU  - Matthias Althoff
PY  - 2025
DO  - 10.1109/tro.2025.3613550
UR  - https://arxiv.org/abs/2412.15837
ID  - 2412.15837
ER  -