[2401.17044] Scalable Mechanism Design for Multi-Agent Path Finding