APA (7th ed.) Citation

Lin, Y., Xing, Z., Han, X., & Althoff, M. (2024). Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Lin, Yuanfei, et al. Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis. 2024.