Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient.
Jaco GeldenhuysAntti ValmariPublished in: TACAS (2004)
Keyphrases
- single pass
- detection algorithm
- optimal solution
- computationally efficient
- search space
- cost function
- np hard
- experimental evaluation
- preprocessing
- significant improvement
- high efficiency
- times faster
- high accuracy
- improved algorithm
- optimization algorithm
- segmentation algorithm
- classification algorithm
- clustering method
- matching algorithm
- simulated annealing
- model checking
- computationally intensive
- neural network
- temporal logic
- verification method
- theoretical analysis
- expectation maximization
- worst case
- state space
- probabilistic model
- computational cost
- dynamic programming
- k means
- objective function
- learning algorithm