Zhang, Mingyue, Nianyu Li, Yi Chen, Jialong Li, Xiao-Yi Zhang, Hengjun Zhao, Jiamou Liu, and Wu Chen. 2025. “Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (22):23369-77. https://doi.org/10.1609/aaai.v39i22.34504.