Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs.
Krzysztof KrawiecIwo BladekJerry SwanJohn H. DrakePublished in: IJCAI (2018)
Keyphrases
- provably correct
- genetic programming
- formal methods
- fitness function
- model checking
- situation calculus
- symbolic regression
- gene expression programming
- evolutionary computation
- evolutionary algorithm
- financial forecasting
- grammar guided genetic programming
- data driven
- monte carlo
- genetic algorithm
- stochastic optimization
- texture synthesis
- functional programs
- formal specification
- formal verification
- hyper heuristics
- learning automata
- evolutionary approaches
- constraint propagation
- web services