research
∙
06/26/2023
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
Federated learning (FL) is a machine learning setting where clients keep...
share
research
∙
05/31/2023
