时空逻辑

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