Probabilistic verification of Herman's self-stabilisation algorithm.
Marta Z. KwiatkowskaGethin NormanDavid ParkerPublished in: Formal Aspects Comput. (2012)
Keyphrases
- learning algorithm
- worst case
- detection algorithm
- optimal solution
- optimization algorithm
- matching algorithm
- preprocessing
- improved algorithm
- probabilistic model
- bayesian networks
- theoretical analysis
- computational cost
- np hard
- cost function
- single pass
- dynamic programming
- high accuracy
- k means
- particle swarm optimization
- computationally efficient
- search space
- objective function
- ant colony optimization
- estimation algorithm
- selection algorithm
- recognition algorithm
- context free parsing
- times faster
- path planning
- tree structure
- clustering method
- input data
- simulated annealing
- evolutionary algorithm
- computational complexity