Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis

作者：Yuanfei Lin, Zekun Xing, Xuyuan Han, Matthias Althoff · 机构：Department of Computer Engineering, Technical University of Munich, Garching, Germany

会议/期刊：IEEE Transactions on Robotics · 发布日期：2025 · 页码：5932-5950