PSPACE-Completeness of Multi-Agent Path Finding for Large Agents

Maichi Zhang, Naoyuki Kamiyama, Kanae Yoshiwatari

Multi-Agent Path Finding for Large Agents (LA-MAPF) is a geometric variant of MAPF in which agents are modeled as disks and conflicts are determined by physical overlap in the unde…