Genetic Programming with Fitness Based on Model Checking.

Colin G. Johnson

Browse the full EUROGP paper archive.