Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding

In the Multi-Agent Path Finding (MAPF) problem, a set of agents moving on a graph must reach their own respective destinations without inter-agent collisions. In practical MAPF applications such as navigation in automated warehouses, where occasionally there are hundreds or more agents, MAPF must be solved iteratively online on a lifelong basis. Such scenarios rule out simple adaptations of offline compute-intensive optimal approaches; therefore, scalable sub-optimal algorithms are appealing for such settings. Ideal scalable algorithms are applicable to iterative scenarios and output plausible solutions in predictable computation time. For the aforementioned purpose, in this study, a novel algorithm named Priority Inheritance with Backtracking (PIBT) is presented to solve MAPF iteratively. PIBT relies on an adaptive prioritization scheme to focus on the adjacent movements of multiple agents; hence it can be applied to several domains. We prove that, regardless of their number, all agents are guaranteed to reach their destination within a finite time when the environment is a graph such that all pairs of adjacent nodes belong to a simple cycle (e.g., biconnected). Experimental results covering various scenarios, including real robot demonstration, reveal the benefits of the proposed method. Even with hundreds of agents, PIBT yields acceptable solutions immediately and can solve large instances that other de facto MAPF approaches cannot. In addition, PIBT outperforms an existing approach on an iterative scenario of conveying packages in an automated warehouse in both runtime and solution quality.