The dynamics of ant colony optimization algorithms applied to binary chains

摘要

In the last decade Ant Colony Optimization (ACO) algorithms have received increasing attention due to their flexibility and adaptability to different applications. Despite these advantages, their design and analysis are still critical issues; research on formal methods could increase the reliability of these systems and extend their applications to critical scenarios such as space or military.