路径规划

研究人员提出基于STL-GO逻辑的多智能体规划新方法，通过MIP和SMT两种编码方案，有效处理动态变化的时空与拓扑约束，在无人机搜救等场景展现强大表达能力。

研究团队提出LegalFarePlan框架，解决城市轨道交通非叠加计费场景下的透明路线规划问题，通过建模合法进出站操作实现可审计的路径优化。