More efficient on-the-fly LTL verification with Tarjan's algorithm.
Jaco GeldenhuysAntti ValmariPublished in: Theor. Comput. Sci. (2005)
Keyphrases
- computationally efficient
- single pass
- model checking
- preprocessing
- cost function
- times faster
- computational complexity
- k means
- theoretical analysis
- probabilistic model
- experimental evaluation
- similarity measure
- dynamic programming
- computational cost
- objective function
- neural network
- computationally intensive
- high efficiency
- clustering method
- detection algorithm
- expectation maximization
- particle swarm optimization
- multi objective
- significant improvement
- classification algorithm
- matching algorithm
- optimal solution
- input data
- improved algorithm
- linear programming
- high accuracy
- worst case