Login / Signup
A simple algorithm for solving the coverability problem for monotonic counter systems.
A. V. Klimov
Published 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