Time-varying environment coverage control by multi-robot systems | IEEE Conference Publication | IEEE Xplore