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
In evolutionary computation, the fitness of a candidate solu-tion conveys sparse feedback. Yet in ma...
A novel method of using Machine Learning (ML) algorithms to improve the performance of Linear Geneti...
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of fin...
Abstract—In recent years there has been a growing interest in applying metaheuristic search algorith...
Genetic programming is a powerful technique for automatically generating program code from a descrip...
Almost all existing genetic programming systems deal with fitness evaluation solely by testing. In t...
This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.Te...
In this paper we explore a number of ideas for enhancing the tech-niques of genetic programming in t...
Formal methods apply algorithms based on mathematical principles to enhance the reliability of syste...
Dissertação de Mestrado em Engenharia Informática apresentada à Faculdade de Ciências e TecnologiaA ...
In this paper we explore a number of ideas for enhancing the techniques of genetic programming in th...
Complex concurrent systems present a significant challenge for software verification. If those syste...
Doctoral Degree. University of KwaZulu- Natal, Pietermaritzburg.This research proposes dynamic fitne...
AbstractObject-oriented software is composed of classes. Their behaviors are usually modeled with st...
Although it is well understood to be a generally undecidable problem, a number of attempts have been...
In evolutionary computation, the fitness of a candidate solu-tion conveys sparse feedback. Yet in ma...
A novel method of using Machine Learning (ML) algorithms to improve the performance of Linear Geneti...
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of fin...
Abstract—In recent years there has been a growing interest in applying metaheuristic search algorith...
Genetic programming is a powerful technique for automatically generating program code from a descrip...
Almost all existing genetic programming systems deal with fitness evaluation solely by testing. In t...
This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.Te...
In this paper we explore a number of ideas for enhancing the tech-niques of genetic programming in t...
Formal methods apply algorithms based on mathematical principles to enhance the reliability of syste...
Dissertação de Mestrado em Engenharia Informática apresentada à Faculdade de Ciências e TecnologiaA ...
In this paper we explore a number of ideas for enhancing the techniques of genetic programming in th...
Complex concurrent systems present a significant challenge for software verification. If those syste...
Doctoral Degree. University of KwaZulu- Natal, Pietermaritzburg.This research proposes dynamic fitne...
AbstractObject-oriented software is composed of classes. Their behaviors are usually modeled with st...
Although it is well understood to be a generally undecidable problem, a number of attempts have been...
In evolutionary computation, the fitness of a candidate solu-tion conveys sparse feedback. Yet in ma...
A novel method of using Machine Learning (ML) algorithms to improve the performance of Linear Geneti...
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of fin...
DOI
Add to ORKG