- author = "Colin Johnson",
- title = "Genetic Programming with Fitness based on Model Checking",
- editor = "Marc Ebner and Michael O'Neill and Anik\'o Ek\'art and Leonardo Vanneschi and Anna Isabel Esparcia-Alc\'azar",
- booktitle = "Proceedings of the 10th European Conference on Genetic Programming",
- publisher = "Springer",
- series = "Lecture Notes in Computer Science",
- volume = "4445",
- year = "2007",
- address = "Valencia, Spain",
- month = "11-13 " # apr,
- pages = "114--124",
- keywords = "genetic algorithms, genetic programming, evolution strategy, finite state machine FSM, CFA, AES, temporal logic, computational tree logic CTL, Stuttgart model-checking kit SMV, growth style mutation, SBSE",
- ISBN = "3-540-71602-5",
- isbn13 = "978-3-540-71602-0",
-
URL = "
https://kar.kent.ac.uk/14594/1/Genetic.pdf",
-
DOI = "
10.1007/978-3-540-71605-1_11",
- abstract = "Model checking is a way of analysing programs and program-like structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. In this paper we apply this to the fitness checking stage in an evolution strategy for learning finite state machines. We give experimental results consisting of learning the control program for a vending machine.",
-
notes = "Part of \cite{ebner:2007:GP} EuroGP'2007 held in
conjunction with EvoCOP2007, EvoBIO2007 and
EvoWorkshops2007
No recombination. 30 runs failed to solve coffee and Tea vending problem",
