Learn More
Genetic algorithms (GAs) are widely used in solving search and optimisation problems involving very large search spaces, or very many variables where closed form solutions are impractical due to the very size of the problems. GAs have been modelled in various ways, from the seminal work by Holland describing an approach based on sets, to works based on(More)
The genetic algorithm is characterised by two concepts: a temporal progression of tter and tter populations, and a stochastic selection and evolution of the populations. In this context it is important to fully understand the temporal characteristics of the algorithm. This paper endeavours to model the genetic algorithm using temporal logic, with the(More)
  • 1