Optimal control of stochastic coverage strategies for robotic swarms | IEEE Conference Publication | IEEE Xplore