Zhao, Hengjun

1 publications

AAAI 2025 Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding Mingyue Zhang, Nianyu Li, Yi Chen, Jialong Li, Xiaoyi Zhang, Hengjun Zhao, Jiamou Liu, Wu Chen