Mixed-Integer Linear Programming Models for Multi-Robot Non-Adversarial Search | IEEE Journals & Magazine | IEEE Xplore