Coverage control of multi-agent systems for ergodic exploration | IEEE Conference Publication | IEEE Xplore