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: | Concepción Vidal, Felicidad Aguado, José Luis Doncel, Jose María Molinelli, Gilberto Perez |
---|---|
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 |
Similar Items
-
Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications
by: Jie Zhang, et al.
Published: (2017-10-01) -
CoqIOA : a formalization of IO automata in the Coq proof assistant
by: Athalye, Anish (Anish R.)
Published: (2017) -
Enseñando métodos formales con Coq
by: Carlos Daniel Luna
Published: (2006-12-01) -
Enseñando métodos formales con Coq
by: Luna, Carlos Daniel
Published: (2006-01-01) -
Formalization of Quantum Protocols using Coq
by: Jaap Boender, et al.
Published: (2015-11-01)