Parallel parameter synthesis algorithm for hybrid CTL.
Nikola BenesLubos BrimSamuel PastvaDavid SafránekPublished in: Sci. Comput. Program. (2020)
Keyphrases
- dynamic programming
- computationally efficient
- cost function
- detection algorithm
- preprocessing
- experimental evaluation
- optimization algorithm
- times faster
- parallel implementation
- optimal solution
- high accuracy
- learning algorithm
- k means
- computational cost
- matching algorithm
- parameter settings
- worst case
- improved algorithm
- search space
- computational complexity
- data sets
- recognition algorithm
- hardware implementation
- optimal parameters
- theoretical analysis
- particle swarm optimization
- linear programming
- np hard
- objective function
- similarity measure
- neural network