A formal method for parallel genetic algorithms

Citations of this article
Mendeley users who have this article in their library.


We present a formal model that allows to analyze non trivial properties about the behavior of parallel genetic algorithms implemented using multi-islands. The model is based on a probabilistic labeled transition system, that represents the evolution of the population in each island, as well as the interaction among different islands. By studying the traces these systems can perform, the resulting model allows to formally compare the behavior of different algorithms.




López, N., Rabanal, P., Rodríguez, I., & Rubio, F. (2015). A formal method for parallel genetic algorithms. In Procedia Computer Science (Vol. 51, pp. 2698–2702). Elsevier B.V. https://doi.org/10.1016/j.procs.2015.05.389

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free