Elbert van de Put: Ant Colony Optimization for Model Checking
–
Ant Colony Optimization is an optimization algorithm that is inspired by the foraging behavior of ants. In this thesis I have applied Ant Colony Optimization to problems that are generated from the model checking problem, …continue reading