A simple algorithm for solving the coverability problem for monotonic counter systems.
A. V. KlimovPublished in: Autom. Control. Comput. Sci. (2012)
Keyphrases
- theoretical analysis
- objective function
- learning algorithm
- improved algorithm
- selection algorithm
- preprocessing
- detection algorithm
- k means
- dynamic programming
- high accuracy
- gradient projection
- recognition algorithm
- times faster
- expectation maximization
- worst case
- linear programming
- particle swarm optimization
- experimental evaluation
- cost function
- optimization algorithm
- evolutionary algorithm
- tree structure
- lower bound
- combinatorial optimization
- computational complexity
- search algorithm
- optimal solution
- hardware implementation
- similarity measure