Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm.
Camille CotiCharles LakosLaure PetrucciPublished in: PNSE @ Petri Nets (2016)
Keyphrases
- computational cost
- computational complexity
- optimization algorithm
- learning algorithm
- cooperative
- preprocessing
- np hard
- dynamic programming
- experimental evaluation
- worst case
- objective function
- recognition algorithm
- path planning
- experimental study
- detection algorithm
- linear programming
- probabilistic model
- cost function
- expectation maximization
- theoretical analysis
- significant improvement
- shortest path
- k means
- optimal solution
- convex hull
- solution quality
- multi agent
- improved algorithm