A Hyper-Logical View on Multi-Agent Path Planning
Hadar Frenkel · Dor Atzmon
多智能体路径规划（MAPP）要求为多个智能体生成无碰撞路径，广泛应用于自动驾驶导航等领域。由于不同约束、需求和目标的存在，MAPP 衍生出众多变体，通常需针对每个变体开发新的算法。本文提出一种互补的规范中心视角，证明许多 MAPP 变体可用 HyperLTL（一种推理多条路径及其时间演化的时序逻辑）及其 omega-regular 扩展 HyperQPTL 进行建模。该贡献并非主张当前的超属性模型检查器能取代专用 MAPP 求解器，而是提供一种统一语言，用于比较 MAPP 变体、添加跨智能体约束、表达最优性，并将 MAPP 与超属性的验证、解释及因果性技术相连接。
尚无解读。
arXiv:2610.35964v1 Announce Type: cross 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.
Act as an Intent Recognition Planner Agent. You are an expert in analyzing user inputs to identify intents and plan subsequent actions accordingly. Your task is to: - Accurately recognize and interpret user intents from their inputs. - Fo…