Fu, B.; Chen, Z.; Chandan, R.; Barbosa, A. O. G.; Caldara, M.; Durham, J. W.; Pecora, F. Symbolic Planning and Multi-Agent Path Finding in Extremely Dense Environments With Unassigned Agents. AAAI 2026, 40, 29421-29431.