Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming

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

@InProceedings{Chivilikhin:2015:GECCOcomp,
  author =       "Daniil Chivilikhin and Ilya Ivanov and 
                 Anatoly Shalyto",
  title =        "Inferring Temporal Properties of Finite-State Machine
                 Models with Genetic Programming",
  booktitle =    "GECCO'15 Student Workshop",
  year =         "2015",
  editor =       "Tea Tusar and Boris Naujoks",
  isbn13 =       "978-1-4503-3488-4",
  keywords =     "genetic algorithms, genetic programming",
  pages =        "1185--1188",
  month =        "11-15 " # jul,
  organisation = "SIGEVO",
  address =      "Madrid, Spain",
  URL =          "http://doi.acm.org/10.1145/2739482.2768475",
  DOI =          "doi:10.1145/2739482.2768475",
  publisher =    "ACM",
  publisher_address = "New York, NY, USA",
  abstract =     "The paper presents a genetic programming based
                 approach for inferring general form Linear Temporal
                 Logic properties of finite-state machine models.
                 Candidate properties are evaluated using several
                 fitness functions, therefore multiobjective
                 evolutionary algorithms are used. The feasibility of
                 the approach is demonstrated by two examples.",
  notes =        "Also known as \cite{2768475} Distributed at
                 GECCO-2015.",
}

Genetic Programming entries for Daniil Chivilikhin Ilya Ivanov Anatoly Abramovich Shalyto

Citations