3 papers
cs.RO2026
SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis
Yuanfei Lin, Sebastian Illing, Matthias Althoff
Large language models (LLMs) have been widely applied to knowledge-driven decision-making for automated vehicles due to their strong generalization and reasoning capabilities. Howe…
cs.RO2025
Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
Yuanfei Lin, Zekun Xing, Xuyuan Han +1
Complying with traffic rules is challenging for automated vehicles, as numerous rules need to be considered simultaneously. If a planned trajectory violates traffic rules, it is co…
cs.RO2024
DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models
Yuanfei Lin, Chenran Li, Mingyu Ding +3
Motion planners are essential for the safe operation of automated vehicles across various scenarios. However, no motion planning algorithm has achieved perfection in the literature…