TY - RPRT TI - Certificate-Driven Closed-Loop Multi-Agent Path Finding with Inheritable Factorization AU - Jiarui Li AU - Runyu Zhang AU - Gioele Zardini PY - 2026 UR - https://arxiv.org/abs/2604.00428 ID - 2604.00428 ER -