Loosely Synchronized Rule-Based Planning for Multi-Agent Path Finding with Asynchronous Actions
This addresses scalability limitations in MAPF for applications requiring asynchronous actions, though it is incremental as it builds on existing search and rule-based methods.
The paper tackles the problem of Multi-Agent Path Finding with asynchronous actions, which relaxes the common synchronized-action assumption, and develops planners that trade solution quality for scalability, handling up to 1000 agents with about 25% longer makespan compared to baselines.
Multi-Agent Path Finding (MAPF) seeks collision-free paths for multiple agents from their respective starting locations to their respective goal locations while minimizing path costs. Although many MAPF algorithms were developed and can handle up to thousands of agents, they usually rely on the assumption that each action of the agent takes a time unit, and the actions of all agents are synchronized in a sense that the actions of agents start at the same discrete time step, which may limit their use in practice. Only a few algorithms were developed to address asynchronous actions, and they all lie on one end of the spectrum, focusing on finding optimal solutions with limited scalability. This paper develops new planners that lie on the other end of the spectrum, trading off solution quality for scalability, by finding an unbounded sub-optimal solution for many agents. Our method leverages both search methods (LSS) in handling asynchronous actions and rule-based planning methods (PIBT) for MAPF. We analyze the properties of our method and test it against several baselines with up to 1000 agents in various maps. Given a runtime limit, our method can handle an order of magnitude more agents than the baselines with about 25% longer makespan.