A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization.
Richard HuybersAlfons LaarmanPublished in: VMCAI (2019)
Keyphrases
- learning algorithm
- times faster
- computationally efficient
- objective function
- computational complexity
- preprocessing
- theoretical analysis
- parallel implementation
- improved algorithm
- k means
- significant improvement
- experimental evaluation
- probabilistic model
- error function
- clustering method
- detection algorithm
- neural network
- expectation maximization
- linear programming
- computational cost
- np hard
- ant colony optimization
- matching algorithm
- cost function
- recognition algorithm
- optimal solution
- data sets