Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories

Yuanfei Lin, Matthias Althoff. Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories. In 2022 IEEE Intelligent Vehicles Symposium, IV 2022, Aachen, Germany, June 4-9, 2022. pages 449-456, IEEE, 2022. [doi]

Abstract

Abstract is missing.