Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT
Crossref DOI link: https://doi.org/10.1007/s10009-025-00795-0
Published Online: 2025-04-25
Published Print: 2025-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Djukic, Miodrag
Prokić, Ivan
Popovic, Miroslav
Ghilezan, Silvia
Popovic, Marko
Prokić, Simona
Text and Data Mining valid from 2025-02-01
Version of Record valid from 2025-04-25
Article History
Accepted: 4 April 2025
First Online: 25 April 2025