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

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

@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