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

Guardado en:
Detalles Bibliográficos
Publicado en:Front Neurorobot
Autores principales: Zhang, Jie, Kang, Man, Li, Xiaojuan, Liu, Geng-yang
Formato: Artigo
Lenguaje:Inglês
Publicado: Frontiers Media S.A. 2017
Materias:
Acceso en línea:https://ncbi.nlm.nih.gov/pmc/articles/PMC5660715/
https://ncbi.nlm.nih.gov/pubmed/29114217
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.3389/fnbot.2017.00056
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!