Formal Verification of a Consensus Algorithm in the Heard-Of Model.
Bernadette Charron-BostStephan MerzPublished in: Int. J. Softw. Informatics (2009)
Keyphrases
- algorithm employs
- objective function
- probabilistic model
- cost function
- recognition algorithm
- theoretical analysis
- preprocessing
- mathematical model
- em algorithm
- detection algorithm
- learning algorithm
- estimation algorithm
- tree structure
- expectation maximization
- k means
- optimization model
- selection algorithm
- np hard
- parameter estimation
- input data
- optimization algorithm
- classification algorithm
- kalman filter
- bayesian framework
- worst case
- probability distribution
- computational complexity
- particle swarm optimization
- matching algorithm
- formal verification
- search space