PDE-based optimization for stochastic mapping and coverage strategies using robotic ensembles. (September 2018)