A distributed algorithm for strong bisimulation reduction of state spaces.
Stefan BlomSimona OrzanPublished in: Int. J. Softw. Tools Technol. Transf. (2005)
Keyphrases
- detection algorithm
- significant improvement
- matching algorithm
- high accuracy
- preprocessing
- computational cost
- tree structure
- optimization algorithm
- data sets
- computational complexity
- optimal solution
- selection algorithm
- cost function
- np hard
- dynamic programming
- simulated annealing
- particle swarm optimization
- particle filter
- expectation maximization
- recognition algorithm
- path planning
- objective function
- distributed systems
- convergence rate
- distributed environment
- clustering method
- theoretical analysis
- search algorithm
- multi agent
- similarity measure