topological-constraints

本文提出了两种可靠的编码（MIP和SMT），用于在STL-GO表达的时空与拓扑约束下进行多智能体路径规划，并在多无人机搜索与救援基准上进行了评估。