Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis. - Yuanfei Lin; Zekun Xing; Xuyuan Han; Matthias Althoff (CoRR, 2024)