Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO
基于STL-GO的时空与拓扑约束下的多智能体规划
专题命中 多智能体 :agent(title,abstract);planning(title,abstract);multi-agent(title,abstract);分类 cs.AI
AI总结 针对多智能体规划中的时空与拓扑约束难题,提出基于STL-GO的混合整数规划与可满足性模理论两种编码方案,在多无人机搜索与救援基准上验证了其表达能力。
Comments Accepted at Formal Methods for Computer-Aided Design 2026