Counterexample-driven genetic programming.
Krzysztof KrawiecIwo BladekJerry SwanPublished in: GECCO (2017)
Keyphrases
- genetic programming
- fitness function
- evolutionary algorithm
- evolutionary computation
- gene expression programming
- data driven
- symbolic regression
- model checking
- grammar guided genetic programming
- regression problems
- genetic algorithm
- neural network
- evolutionary approaches
- user interface
- search algorithm
- genetic algorithm ga
- artificial intelligence
- classification rules
- formal verification
- databases
- data sets
- database