-- Genetic Programming with Fitness Based on Model Checking -- Geometric Particle Swarm