Modeling multiple robot systems for area coverage and cooperation | IEEE Conference Publication | IEEE Xplore