Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP

26 June 2023

Papers citing "Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP"

3 / 3 papers shown

Title
Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites Miroslav Popovic Marko Popovic Miodrag Djukic I. Basicevic 23 0 0 17 Oct 2024
MicroPython Testbed for Federated Learning Algorithms Miroslav Popovic M. Popovic I. Kastelan Miodrag Djukic I. Basicevic 33 0 0 15 May 2024
BlueFog: Make Decentralized Algorithms Practical for Optimization and Deep Learning Bicheng Ying Kun Yuan Hanbin Hu Yiming Chen W. Yin FedML 39 27 0 08 Nov 2021