Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP.
Ivan ProkicSilvia GhilezanSimona KasterovicMiroslav PopovicMarko PopovicIvan KastelanPublished in: ECBS (2023)
Keyphrases
- learning algorithm
- noise tolerant
- learning process
- constraint satisfaction problems
- theoretical analysis
- learning models
- learning tasks
- orders of magnitude
- online learning
- optimization problems
- data structure
- knowledge acquisition
- learning problems
- formal analysis
- computationally efficient
- supervised learning
- machine learning algorithms
- digital libraries
- model checking
- constraint satisfaction
- objective function
- learned models
- reinforcement learning