Verification of a Hierarchical Generic Mutual Exclusion Algorithm.
Souheib BaarirJulien SopenaFabrice Legond-AubryPublished in: FORTE (2008)
Keyphrases
- search space
- experimental evaluation
- learning algorithm
- cost function
- objective function
- k means
- dynamic programming
- optimization algorithm
- expectation maximization
- similarity measure
- bayesian networks
- convergence rate
- matching algorithm
- mutual exclusion
- plan recognition
- tree structure
- probabilistic model
- computational cost
- np hard
- significant improvement
- preprocessing
- computational complexity
- optimal solution