Federated HD Map Updating Through Overlapping Coalition Formation Game | IEEE Journals & Magazine | IEEE Xplore