) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation.
Jan Friso GrooteDavid N. JansenJeroen J. A. KeirenAnton WijsPublished in: ACM Trans. Comput. Log. (2017)
Keyphrases
- learning algorithm
- linear programming
- times faster
- detection algorithm
- k means
- dynamic programming
- single pass
- computational complexity
- cost function
- computational cost
- probabilistic model
- theoretical analysis
- objective function
- matching algorithm
- preprocessing
- optimal solution
- simulated annealing
- high accuracy
- clustering method
- search space
- combinatorial optimization
- convex hull
- improved algorithm
- concept lattice
- estimation algorithm