Distributed Receding Horizon Coverage Control for Multiple Mobile Robots | IEEE Journals & Magazine | IEEE Xplore