arXiv cs.MA· Hadar Frenkel, Dor Atzmon·· 11 小时前AI 评分18
用 HyperLTL 统一建模多智能体路径规划（MAPP）变体
A Hyper-Logical View on Multi-Agent Path Planning
AI 导读
一篇 arXiv 论文提出以规约为中心的新视角：多智能体路径规划（MAPP）的许多变体可用 HyperLTL 及其 omega-正则扩展 HyperQPTL 建模，从而用统一语言比较不同变体、添加跨智能体约束并表达最优性。作者明确表示，这并非主张现有超性质模型检查器可取代专用 MAPP 求解器，而是将 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.MA · arxiv.org