A Quantum Algorithm for System Specifications Verification.
Mohammed ZidanAhmed M. EisaMontasir QasymehMahmoud A. Ismail ShomanPublished in: IEEE Internet Things J. (2024)
Keyphrases
- experimental evaluation
- computational complexity
- objective function
- dynamic programming
- np hard
- cost function
- neural network
- improved algorithm
- optimization algorithm
- particle swarm optimization
- significant improvement
- k means
- preprocessing
- learning algorithm
- computationally efficient
- segmentation algorithm
- times faster
- data sets
- estimation algorithm
- formal verification
- optimal solution
- computational cost
- input data
- genetic algorithm