A Simple and Optimal Complementation Algorithm for Büchi Automata.
Joël D. AllredUlrich Ultes-NitschePublished in: LICS (2018)
Keyphrases
- worst case
- optimal solution
- dynamic programming
- detection algorithm
- k means
- learning algorithm
- computational cost
- cost function
- preprocessing
- significant improvement
- optimal path
- computationally efficient
- improved algorithm
- matching algorithm
- tree structure
- globally optimal
- minimum length
- weighting coefficients
- expectation maximization
- experimental evaluation
- multi objective
- computational complexity
- upper bound
- theoretical analysis
- optimization algorithm
- cellular automata
- np hard
- closed form
- recognition algorithm
- evolutionary algorithm
- space complexity
- objective function
- similarity measure
- feature selection