5 papers
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…
Generic Algorithm for Universal TDM Communication Over Inter Satellite Links
Miroslav Popovic, Marko Popovic, Pavle Vasiljevic +1
The original Python Testbed for Federated Learning Algorithms is a light FL framework, which provides the three generic algorithms: the centralized federated learning, the decentra…
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…
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…
MicroPython Testbed for Federated Learning Algorithms
Miroslav Popovic, Marko Popovic, Ivan Kastelan +2
Recently, Python Testbed for Federated Learning Algorithms emerged as a low code and generative large language models amenable framework for developing decentralized and distribute…