Genetic programming with fitness based on model checking

被引：0
|
作者：
Johnson, Colin G. [1 ]
机构：
[1] Univ Kent, Comp Lab, Canterbury CT2 7NF, Kent, England
来源：
GENETIC PROGRAMMING, PROCEEDINGS | 2007年 / 4445卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：114 / 124
页数：11
相关论文
共 50 条
  • [1] Model checking-based genetic programming with an application to mutual exclusion
    Katz, Cal
    Peled, Doren
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 141 - 156
  • [2] MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming
    Katz, Gal
    Peled, Doron
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 359 - 364
  • [3] Synthesizing, correcting and improving code, using model checking-based genetic programming
    Gal Katz
    Doron Peled
    [J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 449 - 464
  • [4] Synthesizing, correcting and improving code, using model checking-based genetic programming
    Katz, Gal
    Peled, Doron
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (04) : 449 - 464
  • [5] Combining Genetic Programming and Model Checking to Generate Environment Assumptions
    Gaaloul, Khouloud
    Menghi, Claudio
    Nejati, Shiva
    Briand, Lionel C.
    Parache, Yago Isasi
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 48 (09) : 3664 - 3685
  • [6] Synthesis of Parametric Programs using Genetic Programming and Model Checking
    Katz, Gal
    Peled, Doron
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (140): : 70 - 84
  • [7] Automated program repair using genetic programming and model checking
    Zahra Zojaji
    Behrouz Tork Ladani
    Alireza Khalilian
    [J]. Applied Intelligence, 2016, 45 : 1066 - 1088
  • [8] Automated program repair using genetic programming and model checking
    Zojaji, Zahra
    Ladani, Behrouz Tork
    Khalilian, Alireza
    [J]. APPLIED INTELLIGENCE, 2016, 45 (04) : 1066 - 1088
  • [9] Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
    Katz, Gal
    Peled, Doron
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 33 - 47
  • [10] Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming
    Katz, Gal
    Peled, Doron
    [J]. HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, 2011, 6405 : 117 - 132
12345