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 |