Distributed coordination of multi-agent systems for coverage problem in presence of obstacles | IEEE Conference Publication | IEEE Xplore