TY  - RPRT
TI  - Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
AU  - Miroslav Popovic
AU  - Marko Popovic
AU  - Miodrag Djukic
AU  - Ilija Basicevic
PY  - 2025
DO  - 10.1109/telfor63250.2024.10819039
UR  - https://arxiv.org/abs/2410.13429
ID  - 2410.13429
ER  -