Joint Receiver Design and User Scheduling for Over-the-Air Aggregation in Federated Learning | IEEE Conference Publication | IEEE Xplore