A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata.
Barbara KönigSebastian KüpperPublished in: Soft Comput. (2018)
Keyphrases
- dynamic programming
- learning algorithm
- preprocessing
- k means
- experimental evaluation
- computational complexity
- programming language
- detection algorithm
- optimal solution
- significant improvement
- tree structure
- worst case
- objective function
- finite state automata
- clustering method
- optimization algorithm
- expectation maximization
- computational cost
- particle swarm optimization
- state space
- convergence rate
- weighted distance
- np hard
- knowledge based neural networks