Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator
In this article we present the implementation and formal verification, using the Coq system, of a generalized version of the crossover operator applied to genetic algorithms (GA). The first part of this work defines the multiple crossover of two lists in any finite number of points, generalizing a p...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
University of Bologna
2008-12-01
|
Series: | Journal of Formalized Reasoning |
Online Access: | http://jfr.cib.unibo.it/article/view/1052/732 |