Colin G. Johnson. Genetic Programming with Fitness Based on Model Checking. In Marc Ebner, Michael O Neill, Anikó Ekárt, Leonardo Vanneschi, Anna Esparcia-Alcázar, editors, Genetic Programming, 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings. Volume 4445 of Lecture Notes in Computer Science, pages 114-124, Springer, 2007. [doi]
Abstract is missing.