arXiv AI By Hadar Frenkel, Dor Atzmon

A Hyper-Logical View on Multi-Agent Path Planning

Read the original on arXiv AI →

The paper "A Hyper-Logical View on Multi-Agent Path Planning" proposes using HyperLTL and its omega-regular extension HyperQPTL to model various Multi-Agent Path Planning (MAPP) variants. By framing MAPP problems as hyperproperties, the authors provide a unified specification language that can express cross-agent constraints and optimality conditions. This approach enables comparison of different MAPP variants and links them to verification, explanation, and causality techniques for hyperproperties.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv AI
Oct 9

Simultaneous Computation with Multiple Prioritizations in Multi-Agent Motion Planning

The paper proposes a method that allows agents in multi‑agent motion planning to compute with multiple prioritizations simultaneously, avoiding reliance on domain‑specific heuristics or costly iterative searches. This general approach is applied to receding‑horizon motion planning with system dynamics, and numerical experiments show near‑optimal prioritization and performance gains over state‑of‑the‑art methods with only a slight increase in computation time. Real‑time feasibility is demonstrated on a road network with ten vehicles in a Cyber‑Physical Mobility Lab.

By Patrick Scheffe, Julius Kahle, Bassam Alrifaee