Extending PlusCal for Modeling Distributed Algorithms.
Horatiu CirsteaStephan MerzPublished in: iFM (2023)
Keyphrases
- learning algorithm
- optimization problems
- data structure
- recently developed
- multi agent
- computational cost
- orders of magnitude
- theoretical analysis
- distributed environment
- significant improvement
- distributed systems
- computationally efficient
- worst case
- computational efficiency
- mobile agents
- neural network
- computational complexity
- cooperative
- genetic algorithm
- machine learning