An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation.
Jan Friso GrooteAnton WijsPublished in: TACAS (2016)
Keyphrases
- learning algorithm
- improved algorithm
- times faster
- dynamic programming
- theoretical analysis
- worst case
- k means
- experimental evaluation
- lower bound
- selection algorithm
- cost function
- matching algorithm
- detection algorithm
- high accuracy
- estimation algorithm
- simulated annealing
- probabilistic model
- np hard
- search space
- linear programming
- clustering method
- tree structure
- classification algorithm
- hidden markov models
- significant improvement
- memory requirements
- recognition algorithm
- preprocessing
- objective function