Lin, Y., Xing, Z., Han, X., & Althoff, M. (2024). Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis.
Cita Chicago Style (17a ed.)Lin, Yuanfei, Zekun Xing, Xuyuan Han, y Matthias Althoff. Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis. 2024.
Cita MLA (9a ed.)Lin, Yuanfei, et al. Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis. 2024.
Precaución: Estas citas no son 100% exactas.