26 citations · 61 across the 14 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2023★ 1 cited
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
Ivan Prokić, Silvia Ghilezan, Simona Kašterović +3
Federated learning (FL) is a machine learning setting where clients keep the training data decentralised and collaboratively train a model either under the coordination of a centra…
cs.DC2023★ 18 cited
A Simple Python Testbed for Federated Learning Algorithms
Miroslav Popovic, Marko Popovic, Ivan Kastelan +2
Nowadays many researchers are developing various distributed and decentralized frameworks for federated learning algorithms. However, development of such a framework targeting smar…