研究人员开发了两种新方法,一种基于混合整数规划(MIP),另一种基于可满足性模理论(SMT),以解决具有复杂时空和拓扑约束的多智能体规划问题。这些方法利用一种称为带图算子的时空逻辑(STL-GO)的形式化来管理复杂的智能体交互和动态图拓扑。这些编码的有效性在多UAV搜救基准测试中得到了证明,展示了它们处理具有不同团队规模和图复杂性的动态多图交互的能力。 AI
影响 这些方法可以提高复杂环境(如搜救行动)中多智能体系统的协调性和效率。
排序理由 该集群包含一篇详细介绍多智能体规划新方法的论文。
- satisfiability modulo theory
- STL-GO
- unmanned aerial vehicle
- alphaXiv
- arXiv
- CatalyzeX
- DagsHub
- Gotit.pub
- Hugging Face
- Influence Flower
- satisfiability modulo theories
- ScienceCast
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →