A More Efficient Simulation Algorithm on Kripke Structures.
Francesco RanzatoPublished in: MFCS (2013)
Keyphrases
- single pass
- experimental evaluation
- detection algorithm
- computationally efficient
- search space
- segmentation algorithm
- computationally intensive
- high efficiency
- computational cost
- optimal solution
- computational complexity
- times faster
- optimization algorithm
- expectation maximization
- highly efficient
- improved algorithm
- dynamic programming
- np hard
- lower bound
- neural network
- input data
- simulated annealing
- high accuracy
- convex hull
- temporal logic
- significant improvement
- preprocessing
- space requirements