Verification of Applicability of MOEAs to Many-Objective GP Problem.

Published in: CoDIT (2020)

Keyphrases

genetic programming
multi objective evolutionary algorithms
model checking
multi objective optimization
real world
multi objective
fitness function
formal methods
face verification
formal verification
support vector
evolutionary algorithm
multiple objectives