Cargando…

Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications

Genetic algorithms are widely adopted to solve optimization problems in robotic applications. In such safety-critical systems, it is vitally important to formally prove the correctness when genetic algorithms are applied. This paper focuses on formal modeling of crossover operations that are one of...

Descripción completa

Detalles Bibliográficos
Autores principales: Zhang, Jie, Kang, Man, Li, Xiaojuan, Liu, Geng-yang
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Frontiers Media S.A. 2017
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5660715/
https://www.ncbi.nlm.nih.gov/pubmed/29114217
http://dx.doi.org/10.3389/fnbot.2017.00056