An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems.
Faranak NejatiNor Asilah Wati Abdul HamidSina Zangbari KoohiZahra Rahmani ZadehPublished in: IEEE Access (2023)
Keyphrases
- optimization algorithm
- graph transformation
- multi objective
- differential evolution
- optimization method
- evolutionary multi objective
- optimization strategy
- evolutionary algorithm
- model checking
- neural network
- particle swarm optimization pso
- computational models
- incremental learning
- artificial bee colony
- global optima
- hybrid optimization algorithm