A Formal Model for Reasoning About the Ideal Fitness in Evolutionary Processes.
Thomas GaborClaudia Linnhoff-PopienPublished in: ISoLA (2) (2020)
Keyphrases
- formal model
- genetic algorithm
- evolutionary process
- probabilistic knowledge
- evolutionary algorithm
- evolutionary computation
- security properties
- fitness function
- genetic programming
- neural network
- process model
- computational models
- evolution process
- formal models
- predicate calculus
- natural selection
- formal theory
- security patterns
- evolutionary optimization
- population size
- qualitative reasoning
- genetic algorithm ga
- multi objective