Modeling and Verifying Leader Election Algorithm in CSP (S).
Yucheng FangHuibiao ZhuHuiwen WangPublished in: SEKE (2018)
Keyphrases
- np hard
- learning algorithm
- improved algorithm
- optimization algorithm
- preprocessing
- experimental evaluation
- theoretical analysis
- constraint satisfaction problems
- cost function
- dynamic programming
- computational cost
- similarity measure
- multi robot
- input data
- linear programming
- simulated annealing
- significant improvement
- computational complexity
- optimal solution
- particle swarm optimization
- computationally efficient
- ant colony optimization
- constraint satisfaction
- times faster
- objective function
- randomly generated