Resource Allocation as a Market: A Case Study on Multi-Server Multi-Model Federated Learning | IEEE Conference Publication | IEEE Xplore