基于可满足性模理论和可达性分析的交通规则合规轨迹修复

本研究解决了自动驾驶车辆在复杂交通规则下轨迹规划困难的问题。通过将可满足性模理论与基于集合的可达性分析相结合，我们提出了一种轨迹修复技术，可以有效修复违反交通规则的轨迹。实验结果显示，该方法在复杂环境中也能高效可靠地恢复合规操作，显著节省了计算时间。