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...
Autores principales: | , , , |
---|---|
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 |