3 papers
cs.DC2025
Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links
Miroslav Popovic, Marko Popovic, Pavle Vasiljevic +1
The Python Testbed for Federated Learning Algorithms is a simple FL framework targeting edge systems, which provides the three generic algorithms: the centralized federated learnin…
cs.AI2025
Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT
Miroslav Popovic, Marko Popovic, Miodrag Djukic +1
The Python Testbed for Federated Learning Algorithms is a simple Python FL framework that is easy to use by ML&AI developers who do not need to be professional programmers and is a…
cs.DC2024
Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
Miroslav Popovic, Marko Popovic, Miodrag Djukic +1
Python Testbed for Federated Learning Algorithms (PTB-FLA) is a simple FL framework targeting smart Internet of Things in edge systems that provides both generic centralized and de…