Genetic Programming with Fitness based on Model Checking

Created by W.Langdon from gp-bibliography.bib Revision:1.4216

  author =       "Colin Johnson",
  title =        "Genetic Programming with Fitness based on Model
  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
  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 =          "",
  DOI =          "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

                 No recombination. 30 runs failed to solve coffee and
                 Tea vending problem",

Genetic Programming entries for Colin G Johnson