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

Browse the full AAAI paper archive.