arXiv AI By Viraj Parimi, Shao-Hung Chan, Han Zhang, Jingkai Chen, Brian Williams

Belief-Aware Multi-Agent Path Finding under Map Uncertainty

Read the original on arXiv AI →

The paper introduces Belief-Aware Multi-Agent Path Finding under Map Uncertainty, addressing the challenge that real-world environments can change unexpectedly. It proposes MAGIC, a framework that uses a Gaussian Markov Random Field and Gaussian Belief Propagation to update a shared belief about traversability online, allowing agents to infer the state of nearby unobserved locations. Experiments on standard MAPF benchmarks show that MAGIC reduces the executed sum of costs on 96.3% of instances, outperforming existing approaches across various planner families and large agent teams.

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
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
Aug 26

Pivot-and-Station Multi-Agent Path Finding: Solvability, Complexity, and Algorithms

The paper introduces Pivot-and-Station Multi-Agent Path Finding (PS‑MAPF), a variant of MAPF where a subset of agents must visit interchangeable pivots before all agents occupy anonymous stations. It provides a full solvability characterization: every instance on a 2‑edge‑connected graph is solvable, and for arbitrary connected graphs a structural effective‑distance measure relative to unoccupied vertices gives a necessary and sufficient condition. The authors prove that minimizing station‑makespan or station‑flowtime is NP‑hard even with a single pivot, and present three algorithms—a complete baseline, a SAT‑based optimal solver, and Pivot‑Prioritized Planning (PPP), which solves 74‑89% of benchmark instances with significantly lower makespan and flowtime than the baseline.

By Andrea Di Nezza, Mihir Patel, Fabio Fagnani, Sara Bernardini