arXiv AI

A Hyper-Logical View on Multi-Agent Path Planning

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.

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
arXiv AI
Aug 19

A Theoretical Framework for Parallel Lifelong MAPF Using Group Decentralized Planning

The paper presents a theoretical analysis of the Rolling‑Horizon Collision Resolution (RHCR) framework for Lifelong Multi‑Agent Path Finding (L‑MAPF), proving its near‑optimality in a discounted MDP setting. Building on this, the authors introduce Group Decentralized RHCR (GD‑RHCR), which partitions agents via a transitive communication scheme and plans each partition in parallel, achieving similar optimality guarantees while reducing per‑plan computational cost. Experiments across various maps demonstrate that GD‑RHCR scales to higher agent counts with high throughput and lower cost compared to vanilla RHCR.

By Alex DeWeese, Jiaoyang Li, Guannan Qu
arXiv AI
Jun 17

Blueprint First, Model Second: A Framework for Deterministic LLM Workflow

arXiv:2508. 02721v2 Announce Type: replace-cross Abstract: While powerful, the inherent non-determinism of large language model (LLM) agents limits their application in structured operational environments where procedural fidelity and predictable execution are strict requirements.

By Libin Qiu, Yuhang Ye, Zhirong Gao, Xide Zou, Junfu Chen, Ziming Gui, Weizhi Huang, Xiaobo Xue, Wenkai Qiu, Kun Zhao
arXiv AI
Oct 21

Policy Search in Code Space for Multi-Agent Pathfinding

arXiv:2610.25946v2 Announce Type: replace-cross Abstract: Developing coordination policies for complex multi-agent systems relies on either labor-intensive algorithm design or opaque task-specific re...

By Matthias Eder, Pantelis Emmanouil, Vivek Farias, Fabian Fischer, Adam Jozefiak, Tianyi Peng, Thomas Ulz, Raphael Watschinger, Fangyu Wu, Andrew Zheng
arXiv AI
Jul 24

Compact Latent Coordination for Autonomous Vehicles at Unsignalized Intersections

arXiv:2607. 21488v1 Announce Type: cross Abstract: Coordinating autonomous vehicles at unsignalized intersections remains a critical challenge for multi-agent reinforcement learning (MARL) systems, which typically struggle with combinatorial action spaces, reliance on privileged information, or rigid agent designs.

By Gil Lifshits, Igal Bilik, Gilad Katz