External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Yuanfei Lin, Zekun Xing, Xuyuan Han, Matthias Althoff. Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis. IEEE Transactions on Robotics, 41:5932-5950, 2025. [doi]

Authors

Yuanfei Lin

This author has not been identified. Look up 'Yuanfei Lin' in Google

Zekun Xing

This author has not been identified. Look up 'Zekun Xing' in Google

Xuyuan Han

This author has not been identified. Look up 'Xuyuan Han' in Google

Matthias Althoff

This author has not been identified. Look up 'Matthias Althoff' in Google
runs on