Towards Formal Verification of Federated Learning Orchestration
Protocols on Satellites

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites

17 October 2024

Miroslav Popovic

Marko Popovic

Papers citing "Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites"

Title
No papers