Login
- Titel:
Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Lin, Yuanfei; Xing, Zekun; Han, Xuyuan; Althoff, Matthias
- Stichworte:
- Trajectory; Maintenance engineering; Robustness; Planning; Logic; Reachability analysis; Real-time systems; Vectors; Space exploration; Roads; Motion and path planning; formal methods in robotics and automation; intelligent transportation systems; trajectory repair
- Zeitschriftentitel:
- IEEE Transactions on Robotics
- Jahr:
- 2025
- Seitenangaben Beitrag:
- 1-18
- Volltext / DOI:
- doi:10.1109/tro.2025.3613550
BibTeX