多智能体路径规划的超逻辑视角
A Hyper-Logical View on Multi-Agent Path Planning
AI 导读
一篇 arXiv 论文提出以规范为中心的超逻辑视角研究多智能体路径规划（MAPP），证明多种 MAPP 变体可用 HyperLTL 及其 omega-regular 扩展 HyperQPTL 建模。这一框架并非取代专门的 MAPP 求解器，而是提供统一语言，用于比较不同变体、添加跨智能体约束、表达最优性，并衔接超属性的验证、解释与因果性技术。
正文 · 原文
Abstract:Multi-Agent Path Planning (MAPP) requires collision-free paths for multiple agents. MAPP has numerous real-life applications, including the navigation of automated vehicles, and has therefore many variants considering different constraints, requirements, and objectives. For each such variant, a new algorithmic treatment is often developed. This paper takes a complementary, specification-centered view: we show that many MAPP variants can be modeled in HyperLTL, a temporal logic that reasons about multiple paths and their evolution through time, and in its omega-regular extension HyperQPTL. The contribution is not a claim that current hyperproperty model checkers replace specialized MAPP solvers. Rather, the hyper-logical view gives a unified language for comparing MAPP variants, adding cross-agent constraints, expressing optimality, and connecting MAPP to verification, explanation, and causality techniques for hyperproperties.
| Subjects: | Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI) |
| Cite as: | arXiv:2610.35964 [cs.MA] |
| (or arXiv:2610.35964v1 [cs.MA] for this version) | |
| https://doi.org/10.48550/arXiv.2610.35964 arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Dor Atzmon [view email]
[v1]
Sun, 25 Oct 2026 13:31:33 UTC (136 KB)
来源：arXiv cs.AI · arxiv.org