Efficient map synchronization in ad hoc mobile robot networks for environment exploration | IEEE Conference Publication | IEEE Xplore